In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 524; Advances in Petri Nets 1991, pages 161-187. Berlin, Germany: Springer-Verlag, 1991.
Also as: Technical Report 339. Newcastle upon Tyne, England: University of Newcastle upon Tyne, Computing Laboratory, 1991.
Abstract: Using Petri nets to represent systems, a framework is proposed for formulating the notion of one system being a distributed implementation of another, with a classification of whether an implementation introdues any additional activity and whether it introduces an unbounded amount of communication activity. The author gives net sructure characterisations of those systems for which there is always a ditributed implementation within a particular classification; and general constructions for those implementations.
Keywords: distributable net; distributed system; processor placement.