The Community for Technology Leaders
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models (1991)
Melbourne, Victoria, Australia
Dec. 2, 1991 to Dec. 5, 1991
ISBN: 0-8186-2285-7
pp: 136-143
D.C. Marinescu , Purdue Univ., West Lafayette, IN, USA
M. Beaven , Purdue Univ., West Lafayette, IN, USA
R. Stansifer , Purdue Univ., West Lafayette, IN, USA
ABSTRACT
Parallel algorithms for the analysis of Petri net models are discussed. It is argued that the application of Petri nets in areas like performance modeling and software engineering lead to complex nets whose analysis can only be performed by exploiting the explicit parallelism in existing methods of analysis and by developing parallel analysis algorithms. The focus of this paper is the structural net analysis. A parallel algorithm for computing net invariants using a distributed memory multiprocessor system is presented. The paper discusses its implementation, and gives preliminary performance measurements.<>
INDEX TERMS
distributed memory systems, parallel algorithms, performance evaluation, Petri nets
CITATION

D. Marinescu, M. Beaven and R. Stansifer, "A parallel algorithm for computing invariants of Petri net models," Proceedings of the Fourth International Workshop on Petri Nets and Performance Models(PNPM), Melbourne, Victoria, Australia, , pp. 136-143.
doi:10.1109/PNPM.1991.238774
91 ms
(Ver 3.3 (11022016))