Enforcing Liveness in S3PR Nets by Specialization of Resources

Asaftei Timotei, José-Manuel Colom

2013

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.

References

  1. Asaftei, T. and Colom, J. (2013). Enforcing liveness in s3pr nets by specialization of resources. In 2nd Int. Conf. on Operation Research and Enterprise Syst.
  2. Cano, E., Rovetto, C., and Colom, J. (2012). An algorithm to compute the minimal siphons in s4 pr nets. In Discrete Event Dynamic Systems. Springer Verlag. Published online.
  3. 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.
  4. Chao, D. Y. and Liu, G. J. (2012). A simple suboptimal siphon-based control model of a well-known s3pr. In Asian Journal of Control, volume 14, pages 163-172.
  5. 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.
  6. 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.
  7. Tricas, F. (2003). Deadlock analysis, prevention and avoidance in sequential resource allocation systems. PhD thesis, University of Zaragoza, Zaragoza.
  8. 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). Enforcing Liveness in S3PR Nets by Specialization of Resources . In Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems - Volume 1: ICORES, ISBN 978-989-8565-40-2, pages 318-321. DOI: 10.5220/0004275603180321


in Bibtex Style

@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 - Volume 1: ICORES,},
year={2013},
pages={318-321},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004275603180321},
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 - Enforcing Liveness in S3PR Nets by Specialization of Resources
SN - 978-989-8565-40-2
AU - Timotei A.
AU - Colom J.
PY - 2013
SP - 318
EP - 321
DO - 10.5220/0004275603180321