DocumentCode
3156674
Title
Structured analysis using hierarchical predicate transition nets
Author
He, Xudong ; Yang, Cheng-Hong
Author_Institution
Dept. of Comput. Sci., North Dakota State Univ., Fargo, ND, USA
fYear
1992
fDate
21-25 Sep 1992
Firstpage
212
Lastpage
217
Abstract
In previous work, a methodology for constructing hierarchical and structured high-level Petri net specifications has been developed. The authors further explore and refine the methodology for using hierarchical high-level Petri nets in systems analysis. The approach has adapted the results from the data flow diagram method and its application to modern systems analysis. The major steps and the associated techniques of the approach are presented and demonstrated through a library system
Keywords
Petri nets; formal specification; structured programming; systems analysis; data flow diagram; hierarchical predicate transition nets; high-level Petri net specifications; library system; structured analysis; systems analysis; Application software; Bars; Computer science; Helium; Libraries; Modems; Neodymium; Petri nets; Power system modeling; Writing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 1992. COMPSAC '92. Proceedings., Sixteenth Annual International
Conference_Location
Chicago, IL
Print_ISBN
0-8186-3000-0
Type
conf
DOI
10.1109/CMPSAC.1992.217566
Filename
217566
Link To Document