In: Proceedings of Applications and Theory of Petri Nets 2004: 25th International Conference, ICATPN 2004, Bologna, Italy, June 21-25, 2004, pages 312-330. Volume 3099 of Lecture Notes in Computer Science / Cortadella, Reisig (Eds.) --- Springer-Verlag, September 2004.
Abstract: The paper takes advantage and develops the fundamental Bestrsquos ideas about fairness hierarchy and conspiracies in concurrent systems. Near to the start we characterize liveness with the notion of infinite-fairness. Next we show that the conspiracy-freeness problem is decidable for elementary nets and undecidable for place/transition nets. The main aim of the paper was to put places into work against conspiracies. We show, how marking fairness effectively fights with conspiracies in elementary nets. Next, we introduce the notion of covering fairness, as a tool against conspiracies in place/transition systems. Results of the paper say that one can ensure global fairness on a local level of executions of the systems.