DocumentCode
287646
Title
State nets: an expressively efficient behavioral model
Author
Giraud-Carrier, Christophe ; Woodfield, Scott N. ; Embley, David W.
Author_Institution
Dept. of Comput. Sci., Brigham Young Univ., Provo, UT, USA
fYear
1993
fDate
23-26 Mar 1993
Firstpage
571
Lastpage
577
Abstract
The authors investigate the modeling power of a newly proposed behavioural model, called state nets. They introduce state nets as a new and promising object-oriented behavioral model; show how Peterson´s notion of modeling power can be used to make comparisons between behavioral models; and prove that basic state nets have more modeling power than extended Petri nets
Keywords
Petri nets; object-oriented methods; systems analysis; Peterson´s notion; Petri nets; expressively efficient behavioral model; modeling power; object-oriented behavioral model; state nets; Computer science; Concurrent computing; Object oriented modeling; Parallel programming; Petri nets; Positron emission tomography; Power engineering computing; Power measurement; Power system modeling; Software engineering;
fLanguage
English
Publisher
ieee
Conference_Titel
Computers and Communications, 1993., Twelfth Annual International Phoenix Conference on
Conference_Location
Tempe, AZ
Print_ISBN
0-7803-0922-7
Type
conf
DOI
10.1109/PCCC.1993.344532
Filename
344532
Link To Document