In: 93: Fachberichte Informatik, Universität Koblenz-Landau, 2. 1993.
Abstract: This paper is concerned with the specification of arbiters in asynchronous circuits by means of Petri nets. It is shown that an intrinsic indeterminacy phenomenon, called confusion, is unavoidable in any reasonable net model of a mutual exclusion element. It is briefly discussed how this restricts the applicability of `confusion-free' net classes - such as free-choice nets - in circuit design.