An extension of the liveness theory for concurrent sequential processes competing for shared resources

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.