Title :
System design using abstract Petri nets
Author :
Boswell, Albert M. ; Wood, Scott D.
Author_Institution :
Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
Abstract :
A macro Petri net definition formed from a set of Petri net primitive mechanisms is discussed. A basic introduction to Petri nets and a definition of the Petri net primitives employed in the construction of macro net definitions are given. The macro nets presented are intended to increase the designer´s ability to quickly comprehend a system on an operational level. The macro nets presented are intended to increase the designer´s ability to quickly comprehend a systems on an operational level. Basic concepts of system abstraction are considered, and rules for recognizing potentially abstract subnets are examined. An example is given in which a typical computer system is shown with macro nets used to replace frequency recurring subnets
Keywords :
Petri nets; systems analysis; abstract Petri nets; macro net definitions; potentially abstract subnets; primitive mechanisms; system abstraction; Analytical models; Availability; Computer science; Control systems; Fires; Graphics; Humans; Petri nets; System analysis and design; System performance;
Conference_Titel :
Southeastcon '90. Proceedings., IEEE
Conference_Location :
New Orleans, LA
DOI :
10.1109/SECON.1990.117840
