In: Proc. 15th IEEE Int. Conf. on Automated Software Engineering (ASE'2000), 11-15 September 2000, Grenoble, France, pages 305-308. 2000.
Abstract: The paper presents a method for the synthesis of extended Petri net based distributed specification. The proposed method finds an optimal allocation of resources (computational data) that optimizes the derived distributed specification, based on some reasonable communication-cost criteria.
Keywords: Petri nets, distributed specifications, optimal resource allocation.