Some Unsolved Problems in Modelling Self-Timed Circuits Using Petri Nets, Series B, Number 2

摘要

The report 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 non-distributive Muller-diagrams by Petri Nets.