Title :
A parallel algorithm for computing invariants of Petri net models
Author :
Marinescu, Dan C. ; Beaven, Mike ; Stansifer, Ryan
Author_Institution :
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
Keywords :
Petri nets; distributed memory systems; parallel algorithms; performance evaluation; Petri net models; computing invariants; distributed memory multiprocessor system; explicit parallelism; parallel algorithm; performance measurements; performance modeling; software engineering; Algorithm design and analysis; Application software; Concurrent computing; Distributed computing; Parallel algorithms; Parallel processing; Performance analysis; Petri nets; Software algorithms; Software engineering;
Conference_Titel :
Petri Nets and Performance Models, 1991. PNPM91., Proceedings of the Fourth International Workshop on
Conference_Location :
Melbourne, Vic.
Print_ISBN :
0-8186-2285-7
DOI :
10.1109/PNPM.1991.238774