In: Proc. 4th Int. Workshop on Petri Nets and Performance Models (PNPM'91), Melbourne, Australia, pages 136-143. IEEE Comp. Soc. Press, December 1991.
Abstract: Parallel algorithms for the analysis of Petri net models are discussed in this paper. 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 models 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 distribued memory multiprocessor system is presented. We discuss its implementation, and give preliminary performance measurements.