In: Kaashoek, M.A.; et al.: Realization and Modelling in System Theory. Proceedings of the International Symposium MTNS--89, 1989, Amsterdam, Netherlands; Vol. 1, pages 549-557. Boston, MA, USA: Birkhauser, 1990.
Abstract: Petri nets offer a promising mathematical and graphical model for discrete event systems. The paper is concerned with various Petri-net-based fairness concepts which may be used for discrete event systems. The system under consideration is one which requires a controller for `fair' use of shared resources or for `fair' occurrences of certain events. First, the authors review the event synchronization distance and bounded-fairness concepts. They then discuss some relations between these and other concepts of firing-sequence-based fairness, such as unconditional, strong, and weak fairness.
Keywords: (net-based) fairness concepts (for) discrete event systems; event synchronization distance fairness concept; bounded fairness concept; firing-sequence-based fairness; unconditional, strong, weak fairness.