loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Asaftei Timotei 1 and José-Manuel Colom 2

Affiliations: 1 Technical University “Gh. Asachi”, Romania ; 2 University of Zaragoza, Spain

Keyword(s): S3PR, Liveness, Pruning Graph, Minimal Siphons.

Related Ontology Subjects/Areas/Topics: Applications ; Methodologies and Technologies ; Operational Research ; Resource Allocation ; Supply Chain Management

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.237.46.120

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Timotei, A. and Colom, J. (2013). Enforcing Liveness in S3PR Nets by Specialization of Resources. In Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems - ICORES; ISBN 978-989-8565-40-2; ISSN 2184-4372, SciTePress, pages 318-321. DOI: 10.5220/0004275603180321

@conference{icores13,
author={Asaftei Timotei. and José{-}Manuel Colom.},
title={Enforcing Liveness in S3PR Nets by Specialization of Resources},
booktitle={Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems - ICORES},
year={2013},
pages={318-321},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004275603180321},
isbn={978-989-8565-40-2},
issn={2184-4372},
}

TY - CONF

JO - Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems - ICORES
TI - Enforcing Liveness in S3PR Nets by Specialization of Resources
SN - 978-989-8565-40-2
IS - 2184-4372
AU - Timotei, A.
AU - Colom, J.
PY - 2013
SP - 318
EP - 321
DO - 10.5220/0004275603180321
PB - SciTePress