Abstract
A variety of colored resource-oriented Petri nets (CROPN)-based control method to forbid deadlock in flexible manufacturing systems (FMS) are to add control places to the original net, which makes the net being complex. This paper proposes a novel concept in colored resource-oriented Petri nets (CROPN) called colored capacity. Firstly, the foraml definition of colored capacity in a CROPN is given. Based on this concept, the new execution rule of the transitions is proposed. Then, a procedure is developed such that the colored capacity function of each place in a CROPN can be obtained. By colored capacity function, all control places that are used to forbid illegal markings in CROPN are displaced by the colored capacity and the deadlock can be avoided by the new execution rule, which makes the structure of the net much simpler than the net with control places. Finally, an FMS example is used to illustrate the proposed method.
This work was supported in part by the Science and Technology Development Fund, Macau SAR (File Nos. 0012/2019/A1).
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
Similar content being viewed by others
References
Chen, Y., Liu, G.: Computation of minimal siphons in Petri nets by using binary decision diagrams. ACM 12(1), 1–15 (2013)
Li, X., Liu, G., Li, Z., Wu, N., Barkaoui, K.: Elementary siphon-based robust control for automated manufacturing systems with multiple unreliable resources. IEEE Access 12(1), 1–15 (2013)
Liu, G., Yun, C., Daniel, Y., Uzam, M.: A merging method for the siphon-based FMS maximally permissive controllers with simpler structures. IMA J. Math. Control Inf. 31(4), 551–573 (2014)
Liu, G., Chao, D., Yu, F.: Control policy for a subclass of Petri nets without reachability analysis. IET Control Theory Appl. 7(8), 1131–1141 (2013)
Chen, H., Wu, N.Q., Zhou, M.C.: A novel method for deadlock prevention of AMS by using resource-oriented Petri nets. Inf. Sci. 363, 178–189 (2016)
Feng, Y., Xing, K., Zhou, M., Liu, H.: Liveness analysis and deadlock control for automated manufacturing systems with multiple resource requirements. IEEE Trans. Syst. Man Cybern. Syst. 50, 1–14 (2017)
Li, Z.W., Wu, N.Q., Zhou, M.C.: Deadlock control of automated manufacturing systems based on Petri nets—A literature review. IEEE Trans. Syst. Man Cybern. Part C 42(4), 437–462 (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Xiang, Z. (2020). Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored Capacity. In: Ben Hedia, B., Chen, YF., Liu, G., Yu, Z. (eds) Verification and Evaluation of Computer and Communication Systems. VECoS 2020. Lecture Notes in Computer Science(), vol 12519. Springer, Cham. https://doi.org/10.1007/978-3-030-65955-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-65955-4_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-65954-7
Online ISBN: 978-3-030-65955-4
eBook Packages: Computer ScienceComputer Science (R0)