Automatic derivation of Petri net based distributed specification with optimal allocation of resources
Khaled El‐Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino · 2000
In this paper, we present a method for the synthesis of extended Petri net-based distributed specifications. Our method finds an optimal allocation of resources (computational data) that optimizes the derived distributed specification, based on some reasonable communication-cost criteria.