On supervisory policies that enforce global fairness and bounded fairness in partially controlled Petri nets (Q1360354)

The author considers the notion of global fairness and bounded fairness for Petri nets. He introduces a procedure to test both fairnesses in arbitrary Petri nets. The main results present a necessary and sufficient condition for the existence of supervisory policies that enforce both fairnesses along with various observations on the closure properties of polices that enforce these notions of fairness in controlled Petri nets with a non-empty set of uncontrollable transitions. The next theorem gives a necessary and sufficient condition that guarantees a minimally restrictive supervisor that enforces these notions of fairness for bounded Petri nets. Finally, the author presents an example motivated by a manufacturing application that illustrates the main results.