Petri net: a modeling tool for the coordination of asynchronous processes
Technical Report
·
OSTI ID:7266445
The Petri net model is presented as a modeling tool for coordination of asynchronous processes. The Petri net is defined and compared with other well-known concurrency models. Petri nets are shown to be one of the more flexible models available for representing parallel computation, and extensions to the Petri representations are presented to describe still more powerful models which can model complex coordination problems with ease and clarity. A FORTRAN simulation of an extension to the Petri net model is presented to demonstrate the value of Petri nets as a modeling tool; the practical use of the model and its simulation in detecting coordination problem areas and patterns of activity is illustrated by several simulation examples. 16 figures, 12 tables.
- Research Organization:
- Tennessee Univ., Knoxville (USA); Oak Ridge Gaseous Diffusion Plant, Tenn. (USA)
- OSTI ID:
- 7266445
- Report Number(s):
- K/CSD/INF-76/7
- Country of Publication:
- United States
- Language:
- English
Similar Records
Petri net as a modeling tool
APEX - a Petri net process modeling tool built on a discrete-event simulation system
Comments on capabilities, limitations, and correctness of Petri nets. Report 26
Conference
·
Wed Dec 31 23:00:00 EST 1975
·
OSTI ID:7189585
APEX - a Petri net process modeling tool built on a discrete-event simulation system
Conference
·
Mon Dec 30 23:00:00 EST 1996
·
OSTI ID:501613
Comments on capabilities, limitations, and correctness of Petri nets. Report 26
Technical Report
·
Sun Jul 01 00:00:00 EDT 1973
·
OSTI ID:4390007