Arbeitspapiere der GMD Nr. 445, pages 1-21 pp.. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, May 1990.
Abstract: There is a net-theoretical system model called Predicate Transition Nets that describes distributed systems as dynamic first-order structures. This note demonstrates that predicate transition nets can be formulated in a straightforward fashion as special kinds of transition systems. No special background concerning Petri nets is required to follow this new formulation. The logical machinery is minimal and standard.
Keywords: first-order net system; predicate transition net; transition system; high order net.
Back to the Petri Nets Bibliography