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




Higashino


Distributed Specification


In this paper, we present a 
method for the automatic derivation of an 
extended Petri net based distributed specification. The 
method finds an optimal resource (computational data 
such as files and databases) allocation that 
optimizes the derived distributed specification based on 
some reasonable communication cost criteria. It starts 
by identifying a set of rules for 
deriving the distributed specification from a given 
service specification. Based on these rules, an 
optimal resource allocation problem is formulated using 
an integer linear programming model. An application 
example is provided.