A Note on the Impact of Conflict Resolution to Liveness and Deadlock in Petri Nets

Article type: Research Article

Authors: Burkhard, Hans-Dieter | Starke, Peter H.

Affiliations: Humboldt University of Berlin (DDR)

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.

Keywords: Petri net, conflict resolution, deadlock, liveness, controlled nets, counter machine

DOI: 10.3233/FI-1984-7403

Journal: Fundamenta Informaticae, vol. 7, no. 4, pp. 429-445, 1984