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

Abstract

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

Topics

  • Presentations referencing similar topics