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


In this paper, we present a method for the synthesis of extended Petri net based distributed specification. Our method finds an optimal allocation of resources (computational data) that optimizes the derived distributed specification, based on some reasonable communication cost criteria. 
DOI: 10.1109/ASE.2000.873684

1 Figure or Table


  • Presentations referencing similar topics