Abstract
This paper presents a graphical tool, the VS (Virtual Supervisor) states space diagram based on the FPM (Finite Positions Machines) framework in order to analyze a manufacturing system and make it recover from a faulty situation (for example, a deadlock situation) to a safer operations sequence. The VS diagrams are intuitive and easy to obtain and they are shown here as another alternative that can be used to analyze a production system. They can be used as a complementary tool in conjunction with other alternatives based on well-known formalisms such as the Petri nets.
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.
Similar content being viewed by others
References
Chu, F., Xie, X.-L.: Deadlock Analysis of Petri Nets Using Siphons and Mathematical Programming. IEEE Transactions On Robotics And Automation 13(6), 793–804 (1997)
Ezpeleta, J., Colom, J.M., Martínez, J.: A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems. IEEE Transactions On Robotics And Automation 11(2), 173–184 (1995)
Lee, S., Tilbury, D.M.: Deadlock-Free Resource Allocation Control for a Reconfigurable Manufacturing System with Serial and Parallel Configuration. IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews 37(6), 1373–1381 (2007)
Li, Z., Zhou, M.: Control Of Elementary And Dependent Siphons In Petri Nets And Their Application. IEEE Transactions On Systems, Man, And Cybernetics-Part A: Systems And Humans 38(1), 133–148 (2008)
Li, Z., Zhou, M., Uzam, M.: Deadlock Control Policy For A Class Of Petri Nets Without Complete Siphon Enumeration. IET Control Theory And Applications 1(6), 1594–1605 (2007)
Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77, 541–580 (1989)
Fanti, M.P., Zhou, M.: Deadlock Control Methods in automated Manufacturing Systems. IEEE Transactions On Systems, Man and Cybernetics - Part A: Systems and Humans 34(1), 5–22 (2004)
Ramadge, P.J., Wonham, W.M.: Supervisory Control Of A Class Of Discrete Event Processes. SIAM Journal Of Control And Optimization 25(1), 206–230 (1987)
Trujillo, J.: Finite Position Machine for Logic Control: Pattern Composition in Reconfigur-able Manufacturing System. Thesis, Universidad de Valladolid (2004)
Wu, N., Zhou, M., Li, Z.: Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems. IEEE Transactions On Systems, Man, And Cybernetics - Part A: Systems And Humans 38(1), 56–69 (2008)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gómez, D., Trujillo, J.A., Baeyens, E., Moya, E.J. (2009). Analysis of Production Systems Using the VS-Diagram. In: Corchado, J.M., Rodríguez, S., Llinas, J., Molina, J.M. (eds) International Symposium on Distributed Computing and Artificial Intelligence 2008 (DCAI 2008). Advances in Soft Computing, vol 50. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85863-8_52
Download citation
DOI: https://doi.org/10.1007/978-3-540-85863-8_52
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85862-1
Online ISBN: 978-3-540-85863-8
eBook Packages: EngineeringEngineering (R0)