The Petri net as a modeling tool

Authors:
Pamela B. Thomas
Affiliations:
Union Carbide Corporation, Oak Ridge, Tennessee
Venue:
ACM-SE 14 Proceedings of the 14th annual Southeast regional conference
Year:
1976

Citing 1
Cited 1

Concurrency in Software Systems

Software Engineering, An Advanced Course, Reprint of the First Edition [February 21 - March 3, 1972]

Petri-Net-Based coordination algorithms for grid transactions

ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.