A parallel algorithm for computing invariants of Petri net models

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.<<ETX>>

[1]  Tadao Murata,et al.  Detection of Ada Static Deadlocks Using Petri Net Invariants , 1989, IEEE Trans. Software Eng..

[2]  Dan C. Marinescu,et al.  Synchronization and load imbalance effects in distributed memory multi-processor systems , 1991, Concurr. Pract. Exp..

[3]  John R. Rice,et al.  On single parameter characterization of parallelism , 1990, [1990 Proceedings] The Third Symposium on the Frontiers of Massively Parallel Computation.

[4]  Dan C. Marinescu,et al.  Logical Inference of Horn Clauses in Petri Net Models , 1993, IEEE Trans. Knowl. Data Eng..

[5]  Dan C. Marinescu,et al.  Colored Petri net models of concurrent Ada programs , 1990, Proceedings of the 33rd Midwest Symposium on Circuits and Systems.

[6]  Dan C. Marinescu,et al.  Petri net models of concurrent Ada programs , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[7]  Tadao Murata,et al.  A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs , 1988, IEEE Trans. Software Eng..

[8]  Manuel Silva,et al.  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[9]  G. C. Fox,et al.  Solving Problems on Concurrent Processors , 1988 .

[10]  Dan C. Marinescu,et al.  Critical path analysis of concurrent Ada programs using colored Petri nets: rewrite rules , 1991, 1991., IEEE International Sympoisum on Circuits and Systems.

[11]  Dan C. Marinescu,et al.  VERT-verification of real-time programs , 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.