A study on fairness of place/transition systems-to make fairness fairer

摘要

Fairness is among the most well known properties of Petri net systems, but it has not been investigated in depth for the purpose of application. This paper aims at such an investigation, and as a result, alternative definitions based on synchronic distances are proposed with examples for illustration.