Petri-Net-Based Fairness Concepts for Discrete Event Systems
Tadao Murata, Manuel Silva · Birkhäuser Boston eBooks · 1990
Petri nets offer a promising mathematical and graphical model for discrete event systems. This 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, we review the event synchronization distance and bounded-fairness concepts. We then discuss some relations between these and other concepts of firing-sequence-based fairness, such as unconditional, strong, and weak fairness.