Keyword: interleaving semantics

• Tiplea, Ferucio Laurentiu; Mäkinen, Erkki:
  Jumping Petri nets - specific properties. 1997.

• Tiplea, F.L.; Ene, C.:
  Hierarchies of Petri net languages and a super-normal form. 1996.

• Pomello, L.; Rozenberg, G.; Simone, C.:
  A Survey of Equivalence Notions for Net Based Systems. 1992.

• Chiola, Giovanni; Donatelli, Susanna; Franceschinis, Guiliana:
  Priorities, Inhibitor Arcs, and Concurrency in P/T Nets. 1991.

• Valk, Rüdiger:
  Modelling Concurrency by Task/Flow EN Systems. 1991.

• Devillers, Raymond:
  Maximality Preserving Bisimulation: Simplifications and Extensions. 1991.

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

• Taubner, Dirk:
  Representing CCS Programs by Finite Predicate/Transition Nets. 1990.

• Montanari, Ugo; Yankelevich, Daniel N.:
  An Algebraic View of Interleaving and Distributed Operational Semantics. 1989.

Back to the Petri Nets Bibliography