The Community for Technology Leaders
Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on (1995)
Aizu-Wakamatsu, Fukushima, Japan
Mar. 15, 1995 to Mar. 17, 1995
ISBN: 0-8186-7038-X
pp: 264
N.A. Anisimov , Inst. of Autom. & Control Process., Acad. of Sci., Vladivostok, Russia
A.A. Kovalenko , Inst. of Autom. & Control Process., Acad. of Sci., Vladivostok, Russia
ABSTRACT
The 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.
INDEX TERMS
Petri nets; formal logic; synchronisation; Petri net based calculi; synchronization; primitive place synchronization; problem oriented Petri net calculi; basic formal tool; place synchronization operations; place access points; place merging; sequentialization; disabling
CITATION
N.A. Anisimov, A.A. Kovalenko, "Towards Petri net calculi based on synchronization via places", Parallel Algorithms / Architecture Synthesis, AIZU International Symposium on, vol. 00, no. , pp. 264, 1995, doi:10.1109/AISPAS.1995.401330
96 ms
(Ver 3.3 (11022016))