Analysis of Petri nets by means of concurrent simulation

Author

Karatkevich, Andrei ; Zakrevskij, Arkadij

Author_Institution

Inst. of Eng. Cybern., Acad. of Sci., Minsk, Belarus

fYear

2002

fDate

2002

Firstpage

87

Lastpage

91

Abstract

In the paper the task of concurrent analysis of a Petri net is considered. A Petri net is given, and several processes able to simulate transition firings. The methods of analysis described in this paper are based on the original approach to net decomposition and oriented for the so-called operational nets and a class of cyclic Petri nets. The methods analyze the nets by reduced state space construction; both their sequential and parallel versions are described. Also the algorithm of decomposition oriented to concurrent analysis is described. The suggested methods of analysis can be implemented as a multithreaded application.

Keywords

Petri nets; multi-threading; parallel algorithms; Petri nets; concurrent analysis; concurrent simulation; decomposition; multithreaded application; net decomposition; operational nets; parallel algorithm; reduced state space construction; sequential algorithm; transition firings; Algorithm design and analysis; Analytical models; Communication system operations and management; Cybernetics; Parallel algorithms; Performance analysis; Petri nets; Protocols; Reachability analysis; State-space methods;

fLanguage

English

Publisher

ieee

Conference_Titel

Parallel Computing in Electrical Engineering, 2002. PARELEC '02. Proceedings. International Conference on

Print_ISBN

0-7695-1730-7

Type

conf

DOI

10.1109/PCEE.2002.1115207

Filename

1115207