For the most recent entries see the Petri Nets Newsletter.

A Formal Definition of Hierarchical Predicate Transition Nets.

He, Xudong

In: Lecture Notes in Computer Science, Vol. 1091; Proc. 17th International Conference in Application and Theory of Petri Nets (ICATPN'96), Osaka, Japan, pages 212-229. Springer-Verlag, June 1996.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography