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

Asaftei Timotei, José-Manuel Colom

2013

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.

References

  1. Cano, E. E., Rovetto, C. A., and Colom, J. M. (2010). On Chao, D. Y. (2010). A simple modification of deadlock prevention policy of s3pr based on elementary siphons. In Transactions of the Institute of Measurement and Control, volume 33, pages 93-115.
  2. Ezpeleta, J., Colom, J.-M., and Martinez, J. (1995). A petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 11:173-184.
  3. Garey, M. and Johnson, D. (1993). Crossing number is npcomplete. SIAM Journal of Algebraic and Discrete Methods, 4:312-316.
  4. Hou, Y., Liu, D., Li, Z., and Zhao, M. (2010). Deadlock prevention using divide-and-conquer strategy for ws3pr. In International Conference on Mechatronics and Automation (ICMA), pages 1635-1640.
  5. Lee, J.-S., Zhou, M.-C., and Hsu, P.-L. (2005). An application of petri nets to supervisory control for humancomputer interactive systems. In IEEE Transactions on Industrial Electronics, volume 52, pages 1220- 1225.
  6. Li, Z. and M., S. (2008). On the existence of a maximally permissive liveness-enforcing petri net supervisor for flexible manufacturing systems. In IEEE International Conference on Networking, Sensing and Control (ICNSC), pages 90-95.
  7. Reveliotis, S. A. (2007). Implicit siphon control and its role in the liveness-enforcing supervision of sequential resource allocation systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 37(3):319-328.
  8. Tricas, F. (2003). Deadlock analysis, prevention and avoidance in sequential resource allocation systems. PhD thesis, University of Zaragoza, Zaragoza.
  9. Wang, S., Wang, C., and Yu, Y. (2010). An algorithm to find the condition on initial markings of resource places and job places for liveness of s3pmr. In 8th IEEE International Conference on Control and Automation, pages 1445-1449.
Download


Paper Citation


in Harvard Style

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 - Volume 1: ICORES, ISBN 978-989-8565-40-2, pages 252-257. DOI: 10.5220/0004275702520257


in Bibtex Style

@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 - Volume 1: ICORES,},
year={2013},
pages={252-257},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004275702520257},
isbn={978-989-8565-40-2},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems - Volume 1: ICORES,
TI - A New Approach to Prevent Deadlock in S3PR Nets with Unreplicable Resources
SN - 978-989-8565-40-2
AU - Timotei A.
AU - Colom J.
PY - 2013
SP - 252
EP - 257
DO - 10.5220/0004275702520257