In: Proc. of the 25th Annual Allerton Conf. on Communication Control, and Computing, pages 270-278. Urbana-Champaign: Univ. Illinois, 1987.
Abstract: Synchronic-distance and B-fair relations are two interesting equivalence relations for the development of a synchrony theory for Petri nets. The paper addresses the problem of determining Petri net subclasses for which both relations coincide. Also, the authors present a `smallest' live and 1-bounded net for which the two relations do not coincide.