Automatic derivation of Petri net based distributed specification with optimal allocation of resources
Proceedings ASE 2000. Fifteenth IEEE International Conference on …, 2000•ieeexplore.ieee.org
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.
specifications. Our method finds an optimal allocation of resources (computational data) that
optimizes the derived distributed specification, based on some reasonable communication-
cost criteria.
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.
ieeexplore.ieee.org
Showing the best result for this search. See all results