A formal definition of hierarchical predicate transition nets Conference

He, X. (1996). A formal definition of hierarchical predicate transition nets . EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 1091 212-229. 10.1007/3-540-61363-3_12

cited authors

  • He, X

authors

abstract

  • Hierarchical predicate transition nets have recently been introduced as a visual formalism for specifying complex reactive systems. They extend predicate transition nets with hierarchical structures so that large systems can be specified and understood stepwisely, and thus are more suitable for real-world applications. In this paper, we provide a formal syntax and an algebraic semantics for hierarchical predicate transition nets, which establish the theory of hierarchical predicate transition nets for precise specification and formal reasoning.

publication date

  • January 1, 1996

published in

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 10

International Standard Book Number (ISBN) 13

start page

  • 212

end page

  • 229

volume

  • 1091