Transformations on hierarchical predicate transition nets: Refinements and abstractions Conference

He, X. (1998). Transformations on hierarchical predicate transition nets: Refinements and abstractions . 164-169. 10.1109/CMPSAC.1998.716652

cited authors

  • He, X

authors

abstract

  • A set of useful refinement rules on hierarchical predicate transition nets (HPrTNs in the sequel) is presented. These rules help a user to develop a large HPrTN in a stepwise approach supporting both top-down and bottom-up development styles. Furthermore, the author has shown that these rules either preserve or facilitate the verification of many system behavioral properties. Another nice feature of these rules is that their applications always result in a valid partial view and an extended and integrated definition of the original HPrTN. The author also briefly discusses related works on refinement techniques based on Petri nets and other specification methods.

publication date

  • January 1, 1998

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 10

start page

  • 164

end page

  • 169