Abstract
This papers reports controllability results of compound siphons in an S3PMR - a generalization of S3PR by allowing a job place to use more than one resource and when entering the next operation place, it may not release the resource. We categorize dependent siphons into Types I and II. The former (resp. latter) shares resources between the same (resp. different) set of processes. There are two types of Type I dependent siphons: strong and weak. In an earlier paper, we showed that the dependent condition may be relaxed so that an elementary siphon (actually a compound siphon), while requiring a monitor previously, may be controlled after some elementary siphons get controlled. However, the result may not be optimal so that further linear integer programming (as in Li & Zhou’s approach to reduce the total number of monitors from exponential to linear) is needed to determine whether to adjust control depth variables. We derive the exact (both sufficient and necessary) controllability for a Type I strongly 2-dependent siphon and show that any n-dependent (n>3) needs no monitor. Thus, the total time complexity to verify controllability for all Type I strongly relaxed dependent siphons is reduced from exponential to linear. Furthermore, we derive the time complexity for controllability verification of Type II dependent siphons to be |∏E||∏D| (product of total number of elementary siphons and total number of dependent siphons).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Z. Li and M. Zhou, “Elementary Siphons of Petri Nets and Their Application to Deadlock Prevention in Flexible Manufacturing Systems,” IEEE Trans. Syst., Man, Cybern. A., 34(1), pp. 38-51, Jan. 2004.
Z. W. Li and M. C. Zhou, “Clarifications on the Definitions of Elementary Siphons in Petri Nets,” IEEE Trans. Syst., Man, Cybern., A: Systems and Humans, 36(6), pp. 1227-1229, November, 2006.
Li, Z. and M. C. Zhou, “Control of Elementary and Dependent Siphons in Petri Nets and their Application,” IEEE Trans. on Systems, Man, and Cybernetics: Part A, 38(1), pp. 133-148, Jan. 2008.
Z. W. Li and M. Zhao, “On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets,” IEEE Transactions on Systems, Man, and Cybernetics, Part A, 38(2), pp.369-384, 2008.
Z. W. Li and M. C. Zhou, “On Siphon Computation for Deadlock Control in a Class of Petri Nets,” IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Human, vol.38(3), pp. 667-679, 2008.
Chao, D. Y.: ‘Incremental Approach to Computation of Elementary Siphons for Arbitrary S3PR’, Control Theory & Applications, IET 2(2), pp.168-179, 2008, doi: 10.1049/iet-cta:20070130.
D. Y. Chao, “An incremental approach to Extract Minimal Bad Siphons,” Journal of Information Science and Engineering, 23(1), pp. 203-214, 2007.
Y. S. Huang, M.D. Jeng, X. L. Xie and D. H. Chung, “Siphon-based deadlock prevention policy for flexible manufacturing systems,” IEEE Transactions on System, Man, and Cybernetics—PART A: SYSTEMS AND HUMANS, 36(6), pp. 1248-1256, November, 2006
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer London
About this paper
Cite this paper
Shih, YY., Liu, TC., Chiu, CY., Chao, D. (2009). Exact Controllability for Dependent Siphons in S3PMR. In: Chou, SY., Trappey, A., Pokojski, J., Smith, S. (eds) Global Perspective for Competitive Enterprise, Economy and Ecology. Advanced Concurrent Engineering. Springer, London. https://doi.org/10.1007/978-1-84882-762-2_3
Download citation
DOI: https://doi.org/10.1007/978-1-84882-762-2_3
Publisher Name: Springer, London
Print ISBN: 978-1-84882-761-5
Online ISBN: 978-1-84882-762-2
eBook Packages: EngineeringEngineering (R0)