For the most recent entries see the Petri Nets Newsletter.

First-Order Net Systems.

Genrich, Hartmann J.; Thiagarajan, Pazhamaneri S.; Voss, Klaus

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.


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

Back to the Petri Nets Bibliography