Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. - El-Fakih, Khaled; Yamaguchi, Hirozumi; Bochmann, Gregor von; Higashino, Teruo (2000)