The Community for Technology Leaders
International Conference on Parallel Computing in Electrical Engineering (PARELEC'02) (2002)
Warsaw, Poland
Sept. 22, 2002 to Sept. 25, 2002
ISBN: 0-7695-1730-7
pp: 87
Andrei Karatkevich , University of Zielona Gora
Arkadij Zakrevskij , Institute of Engineering Cybernetics
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 sc-called operational nets and a class of cyclic Petri nets. The methods analyze the nets by reduced state space constructing; 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 multithread application.
INDEX TERMS
null
CITATION

A. Zakrevskij and A. Karatkevich, "Analysis of Petri Nets by Means of Concurrent Simulation," International Conference on Parallel Computing in Electrical Engineering (PARELEC'02)(PARELEC), Warsaw, Poland, 2002, pp. 87.
doi:10.1109/PCEE.2002.1115207
90 ms
(Ver 3.3 (11022016))