In: Mirenkov, N.; et al.: The First Aizu IEEE International Symposium on Parallel Algorithms - Architecture Sythesis, Aizu-Wakamatsu, Japan, pages 264-270. IEEE Computer Society Press, March 1995.
Abstract: This paper addresses the problem of designing Petri net based calculi. It is pointed out that almost all existing problem-oriented Petri net calculi have been developed in an ad hoc fashion, and the need for a basic formal tool which will help their design is stressed. We introduce a series of place synchronization operations ranging from primitive place synchronization to the general synchronization via place access points. We consider some examples where the place synchronization operation can be successfully used to model place merging, sequentialization and disabling.
Keywords: Petri nets; compositionality; synchronization; access points; macroplace; disabling.