A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources
Hirozumi Yamaguchi, Khaled El‐Fakih, Teruo Higashino · 2000
In this paper, we present a method for the synthesis of extended Petri net based distributed specification. Although a lot of synthesis methods have been proposed, only a few synthesis methods have treated resources (computational data) such as databases and files. In contrast to previous methods that assume some fixed resource allocation, our method finds an optimal resource allocation that optimizes the derived distributed specification, based on some reasonable communication cost criteria. The method starts by identifying the set of rules for deriving a protocol specification from a given service specification. Based on these rules, an optimal resource allocation problem is formulated using an integer linear programming model. An example application is discussed. 1. Introduction Synthesis methods have been used (for surveys see [2]) to derive a specification of a distributed system (hereafter called protocol specification) automatically from a given specification of the service to...