Keyword: elementary net system

• Smith, Einar:
  On Net Systems Generated by Process Foldings. 1991.

• Bernardinello, L.; Pomello, L.; Simone, C.:
  Categories of EN Systems and Local State Transformation Algebras. 1991.

• de Michelis, Giorgio:
  Morphisms and Refinement for EN Systems. 1991.

• Nielsen, M.; Rozenberg, Grzegorg; Thiagarajan, P.S.:
  Behavioural Notions for Elementary Net Systems. 1990.

• Nifosi, Gabriella:
  Asynchronous Automata and Superposed Automata Nets. 1990/91.

• Pelz, Elisabeth:
  About the Concurrent Behaviour of EN Systems: Definability and Closure Results. 1990.

• Pelz, Elisabeth:
  Réseaux et Logique. 1990.

• Pomello, Lucia:
  Refinement of Concurrent Systems Based on Local State Transformation. 1990.

• Sinachopoulos, A.:
  The Expressive Power of Partial Order Logics for Elementary Net Systems. 1990.

• Tuominen, Heikki:
  Elementary Net Systems and Dynamic Logic. 1990.

• Reisig, Wolfgang:
  Petrinetze: Grundfragen, Konzepte, Konsequenzen. 1990.

• Lodaya, Kamal; Mukund, Madhavan; Ramanujam, R.; Thiagarajan, P.S.:
  Models and Logics for True Concurrency. 1990.

• Nielsen, Mogens; Rozenberg, Grzegorz; Thiagarajan, P.S.:
  Elementary Transition Systems. 1990.

• Ochmanski, Edward:
  Semi-Commutation and Petri Nets. 1990.

• Pomello, L.; Simone, C.:
  A State Transformation Preorder Over a Class of EN-systems. 1989.

• Hoogeboom, H.J.; Rozenberg, G.:
  Diamond Properties of State Spaces of Elementary Net Systems. 1989.

• Husberg, N.; Ojala, L.:
  Petri Nets in Algebraic Theories: A Category Theory Approach. 1988.

Back to the Petri Nets Bibliography