Keyword: priority

• Botti, Oliver; Hall, Jon; Hopkins, Richard:
  A Petri Net Semantics of occam. 1991.

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

• Simone, Carla; Ajmone Marsan, M.; Donzelli, P.:
  The Application of EB-Equivalence Rules to the Structural Reduction of GSPN Models. 1991.

• Baumgarten, Bernd:
  The Alternating Bit Protocal (Revisited). 1990.

• Best, Eike; Koutny, Maciej:
  Partial Order Semantics of Priority Systems. 1990.

• Desel, Jörg; Reisig, Wolfgang; Walter, Rolf:
  The Alternating Bit Protocol: Fairness Versus Priority. 1990.

• Pelikan, P.:
  Controllers Design Automation by Using Petri Nets. 1989.

Back to the Petri Nets Bibliography