Petri net as a modeling tool
Conference
·
OSTI ID:7189585
The Petri net model is presented as a modeling tool for coordination of asynchronous processes. The Petri net is defined and shown to be both flexible in representing concurrency and easy to comprehend. An extended Petri net model is introduced, and its greater flexibility for coordination modeling is demonstrated. The Cigarette Smokers' Problem is modeled with a Petri net, and a Producer--Consumer Problem is solved with the extended Petri net. The net is briefly evaluated with mention of results of an experimental high-level language simulation of the extended Petri net.
- Research Organization:
- Union Carbide Corp., Oak Ridge, Tenn. (USA). Computer Sciences Div.
- OSTI ID:
- 7189585
- Report Number(s):
- K/CSD/INF-76/3; CONF-760430-1
- Country of Publication:
- United States
- Language:
- English
Similar Records
Petri net: a modeling tool for the coordination of asynchronous processes
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
Technical Report
·
Tue Jun 01 00:00:00 EDT 1976
·
OSTI ID:7266445
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