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, Deadlock Prevention, Minimal Siphons, Pruning Graph.

Related Ontology Subjects/Areas/Topics: Applications ; Automation of Operations ; Methodologies and Technologies ; Operational Research ; Pattern Recognition ; Resource Allocation ; Software Engineering ; Supply Chain Management

Abstract: Deadlock 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.

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 18.218.55.14

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). A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable 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 252-257. DOI: 10.5220/0004275702520257

@conference{icores13,
author={Asaftei Timotei. and José{-}Manuel Colom.},
title={A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources},
booktitle={Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems - ICORES},
year={2013},
pages={252-257},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004275702520257},
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 - A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources
SN - 978-989-8565-40-2
IS - 2184-4372
AU - Timotei, A.
AU - Colom, J.
PY - 2013
SP - 252
EP - 257
DO - 10.5220/0004275702520257
PB - SciTePress

- Science and Technology Publications, Lda.
RESOURCES

Proceedings

Papers

Authors

Ontology

CONTACTS

Science and Technology Publications, Lda
Avenida de S. Francisco Xavier, Lote 7 Cv. C,
2900-616 Setúbal, Portugal.

Phone: +351 265 520 185 (National fixed network call)
Fax: +351 265 520 186
Email: info@scitepress.org

EXTERNAL LINKS

PRIMORIS

INSTICC

SCITEVENTS

CROSSREF

PROCEEDINGS SUBMITTED FOR INDEXATION BY:

dblp

Ei Compendex

SCOPUS

Semantic Scholar

Google Scholar

Microsoft Academic