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

CITATIONS