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

fYear

1991

fDate

2-5 Dec 1991

Firstpage

136

Lastpage

143

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/PNPM.1991.238774

Filename

238774