Structured analysis using hierarchical predicate transition nets Conference

He, X, Yang, CH. (1992). Structured analysis using hierarchical predicate transition nets . 212-217. 10.1109/CMPSAC.1992.217566

cited authors

  • He, X; Yang, CH



  • High-level Petri nets are a powerful formal method for modeling and analyzing systems; however their applications are mainly limited to small-scale research projects due to a lack of modularity and hierarchy within the formalism itself and a systematic approach in using the formalism. In our previous work, a methodology for constructing hierarchical and structured high-level Petri net specifications has been developed. In this paper, we further explore and refine our methodology for using hierarchical high-level Petri nets in systems analysis. Our new approach has adapted the mature results from the Data Flow Diagram method and is demonstrated through a library system.

publication date

  • January 1, 1992

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 10

start page

  • 212

end page

  • 217