Enforcing Liveness in S~3PR Nets by Specialization of Resources

摘要

Siphon-based control methods are often used in deadlock prevention in Petri nets models for resource allocation systems caused by the shared resources. In this article we used the properties of the minimal siphons of the S~3PR and Pruning Graph to develop a new method to prevent the deadlock. This method consists in the increasing of the number of copies of a given resource type, and in the splitting of the total copies of resources in two new types of resources that will be used in a private way for each one of the two disjoint groups in which the old holder places of the original resource type are divided. The algorithm uses only structural information of the net.