An extension of the liveness theory for concurrent sequential processes competing for shared resources
F. Tricas, José Mario Martínez · 2002
The design of concurrent systems has to deal with the satisfaction of conditions of good behavior. In this work the way to model and analyze concurrent systems is using a subclass of Petri nets that is an extension of a previous class studied for the same kind of problems. Starting from a Petri net that models a system a policy is proposed to eliminate deadlocked states.