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
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;
Conference_Titel :
Computer Software and Applications Conference, 1992. COMPSAC '92. Proceedings., Sixteenth Annual International
Conference_Location :
Chicago, IL
Print_ISBN :
0-8186-3000-0
DOI :
10.1109/CMPSAC.1992.217566
