Towards Petri net calculi based on synchronization via places

Author

Anisimov, Nikolay A. ; Kovalenko, Alexey A.

Author_Institution

Inst. of Autom. & Control Process., Acad. of Sci., Vladivostok, Russia

fYear

1995

fDate

15-17 Mar 1995

Firstpage

264

Lastpage

270

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

Keywords

Petri nets; formal logic; synchronisation; Petri net based calculi; basic formal tool; disabling; place access points; place merging; place synchronization operations; primitive place synchronization; problem oriented Petri net calculi; sequentialization; synchronization; Automatic control; Calculus; Carbon capture and storage; Design automation; Merging; Petri nets; Power system modeling; Process control; Radio control;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel Algorithms/Architecture Synthesis, 1995. Proceedings., First Aizu International Symposium on

Conference_Location

Fukushima

Print_ISBN

0-8186-7038-X

Type

conf

DOI

10.1109/AISPAS.1995.401330

Filename

401330