For the most recent entries see the Petri Nets Newsletter.

A Parallel Algorithm for Computing Invariants of Petri Net Models.

Marinescu, Dan C.; Beaven, Mike; Stansifer, Ryan

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography