Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources.

Khaled El-Fakih Hirozumi Yamaguchi Gregor von Bochmann Teruo Higashino Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. 305-308 2000 ASE http://computer.org/proceedings/ase/0710/07100305abs.htm db/conf/kbse/ase2000.html#El-FakihYBH00