Keyword: fairness

• Zeng, Qing-Tian; Wu, Zhe-Hui:
  Properties Analysis of Petri Net Based on Process Net System. 2003.

• Latvala, Timo:
  Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints. 2001.

• Haar, Stefan:
  Properties of Untimed Routed Petri Nets. 1999.

• Becker, Shirley A.; Hevner, Alan R.:
  A White Box Analysis of Concurrent System Designs. 1991.

• Degano, Pierpaolo; Meseguer, José; Montanari, Ugo:
  Axiomatizing the Algebra of Net Computations and Processes. 1991.

• Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun:
  A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. 1991.

• Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun:
  A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets. 1991.

• Kumagai, S.:
  Net Theory and its Application. III. Fundamentals of Net Theory. 1991.

• Bradfield, J.C.:
  Proving Temporal Properties of Petri Nets. 1990.

• Catania, V.; Iudica, M.; Vita, L.:
  Exploitation of Redundancy for Throughput Increase in a High Speed LAN. 1990.

• Findlow, Greg; Billington, Jonathan:
  High-Level Nets for Dynamic Dining Philosophers Systems. 1990.

• Sreenivas, R.S.; Krogh, B.H.:
  On Fairness and Conflicts in Petri Nets. 1990.

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

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

• Brogi, Antonio; Gorrieri, Roberto:
  A Distributed, Net Oriented Semantics for Delta Prolog. 1989.

• Kwiatkowska, M.Z.:
  Survey of Fairness Notions. 1989.

• Valk, Rüdiger:
  On Theory and Practice: an Exercise in Fairness. 1987.

Back to the Petri Nets Bibliography