@inproceedings {1476,
	title = {Enforcing Liveness in S3PR Nets by Specialization of Resources},
	booktitle = {2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013)},
	year = {2013},
	month = {02/2013},
	pages = {318-321},
	publisher = {SciTePress},
	organization = {SciTePress},
	address = {Barcelona, Spain},
	abstract = {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 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.},
	doi = {10.5220/0004275603180321},
	author = {A. Timotei and J.M. Colom}
}

