Analysis of Petri nets by means of concurrent simulation

Proceedings - International Conference on Parallel Computing in Electrical Engineering, PARELEC 2002

Volumn , Issue , 2002, Pages 87-91

  Karatkevich, A ^a   Zakrevskij, A ^b  

^a UNITED INSTITUTE OF INFORMATICS PROBLEMS   (Belarus)

^b UNIVERSITY OF ZIELONA GÓRA   (Poland)

Author keywords

Algorithm design and analysis; Analytical models; Communication system operations and management; Cybernetics; Parallel algorithms; Performance analysis; Petri nets; Protocols; Reachability analysis; State space methods

Indexed keywords

ALGORITHMS; ANALYTICAL MODELS; CYBERNETICS; JAVA PROGRAMMING LANGUAGE; NETWORK PROTOCOLS; PARALLEL ALGORITHMS; STATE SPACE METHODS;

ALGORITHM DESIGN AND ANALYSIS; COMMUNICATION SYSTEM OPERATIONS AND MANAGEMENT; CONCURRENT SIMULATION; METHODS OF ANALYSIS; MULTI-THREADED APPLICATION; PERFORMANCE ANALYSIS; REACHABILITY ANALYSIS; TRANSITION FIRINGS;

PETRI NETS;

EID: 17144424123     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PCEE.2002.1115207     Document Type: Conference Paper

References (12)

1. Peterson, J.L., Petri Net Theory and the Modeling of Systems, Prentice-Hall, fuc., Englewood Cliffs, 1981.
2. A. Zakrevskij, A. Karatkevich, and M. Adamski, "A Method of Analysis of Operational Petri Nets", Proceedings of the Eight International Conference ACS'2001, Kluwer Academic Publishers, Boston, 2002, pp. 449-460.
3. Zakrevskij, A.D., Parallel Algorithms for Logical Control, fust. of Engineering Cybernetics of NAS of Belarus, Minsk, 1999 (in Russian).
4. A.D. Zakrevskij, "Elements of the Theory of a-Nets", Design of Logical Control Systems, Minsk, Inst. of Engineering Cybernetics of the Academy of Science ofBSSR, 1986, pp. 4-12 (in Russian)
5. A. Melo, v. Sklyarov, and A. FeITari, "Specification and hnplementation of Hierarchical and Parallel Control Algorithms using HiParaGraphs", Proceedings of the Fourth International Conference CAD DD'2001, Vol. 1, Minsk, November 14-16,2001, pp. 7-13.
6. A. Valmari, "State of the Art Report: Stubborn Sets", Petri Nets Newsletter, No 46, GI, Bonn 1994, pp. 6-14.
7. R. Janicki, P.E. Lauer, M. Koutny, and R. Devillers, "ConcUITent and Maximally ConcUITent Evolution of Non-Sequential Systems", Theoretical Computer Science 43, 1986, pp.213-238
8. Cormen, T. H., Ch.E. Leiserton, R.L. Rivest, Introduction to Algorithms, MTI, 1994.
9. R.P. Brent, "The Parallel Evaluation of General Arithmetic Expressions", Journal of the ACM, 21(2):201-206, 1974.
10. U. Stem, L.D. Dill, "Parallelizing the Murphi Verifier", CAV International Conference, 1997.-12 pp.
11. K. Heljanko, V. Khomenko, and M. Koutny, "Parallelisation of the Petri Net Unfolding Algorithm", Technical Report CS-TR-733, Department of Computing Science, University ofNewcastle upon Tyne (2001).
12. M. Miikela, "A reachability Analyser for Algebraic System Nets", Research Report A69, Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, June 2001