2002 · 16 citations · 6 references
ComputingComputer EngineeringComputer ScienceComputer ArchitectureParallel AlgorithmsParallel ComputingDistributed ComputingDistributed Memory ParallelismParallel Algorithm DesignParallel ArchitecturesParallel ComputationPetri NetsDistributed MemoryInvariantsPetri Net AnalysisPetri Net Model CheckingPetri 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 xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
6