A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources

TitleA New Approach to Prevent Deadlock in S3PR Nets with Unreplicable 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
PublisherSciTePress
Conference LocationBarcelona, Spain
AbstractDeadlock prevention in Resource Allocation Systems with shared resources represents an important goal in systems design. When using Petri net based modeling, typical methods for attaining this goal use syphon analysis. This paper develops a new method to prevent deadlock in S3PR nets based on minimal siphons and Pruning Graphs. The method consists in two steps: first is the increasing of the number of copies of a replicable resource and second is the splitting of the total copies of the replicable resources. We use the Pruning Graph to choose the replicable resources we are going to split. The algorithm uses only structural information of the net and a simple example is used to illustrate its application.
DOI10.5220/0004275702520257
Export