In: Bull. EACTS, Vol. 36, pages 152-160. 1988.
Abstract: The author presents some open problems that have arisen in the context of using conflict-free labelled Petri nets to model so called self-timed or self-synchronizing circuits. These are circuits designed to operate correctly independent of the delays inherent in the components. The problems presented concern the concurrency of transitions in the marking class, formulation of a new concession rule for modelling mass phenomena, and modelling nondistributive Muller-diagrams by Petri nets.
Keywords: self-timed circuit; self-synchronizing circuit; conflict-free labelled net; concession rule.