Enforcing Liveness in S3PR Nets by Specialization of Resources

TitleEnforcing Liveness in S3PR Nets by Specialization of Resources
Publication TypeConference Paper
Year of Publication2013
AuthorsTimotei, A, Colom JM
Conference Name2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013)
Date Published02/2013
Conference LocationBarcelona, Spain
AbstractSiphon-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 S3PR 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.