DocumentCode
3161242
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
fYear
1990
fDate
1-4 Apr 1990
Firstpage
390
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Southeastcon '90. Proceedings., IEEE
Conference_Location
New Orleans, LA
Type
conf
DOI
10.1109/SECON.1990.117840
Filename
117840
Link To Document