Abstract
In this paper systems are investigated which consist of a Petri net and a control device. In any situation of the systems the control device selects one (or some) of the (concurrently) enabled transitions of the net and orders them to fire – this way solving conflicts, avoiding deadlocks etc.
The results concern the corresponding decidability problems and the question whether it is possible to carry over such properties as deadlock avoidance and liveness from the uncontrolled net to a controlled net and vice versa.
Get full access to this article
View all access options for this article.