In this paper we propose a hybrid approach to prevent deadlock between parts flowing in manufacturing systems. The approach uses both Petri nets and digraphs to exploit the higher simplicity of digraphs to detect deadlock combined with theoretic results known for Petri nets. The new PN-based prevention policies translate the information obtained from properly defined digraphs into empty siphons of a corresponding PN modeling the same system.
New control policies preventing deadlock in automated manufacturing systems / Maione, Guido; Naso, David. - (2003), pp. 81-86. (Intervento presentato al convegno 9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA’03) tenutosi a Lisbon, Portugal nel September 16-19, 2003) [10.1109/ETFA.2003.1248673].
New control policies preventing deadlock in automated manufacturing systems
MAIONE, Guido;NASO, David
2003-01-01
Abstract
In this paper we propose a hybrid approach to prevent deadlock between parts flowing in manufacturing systems. The approach uses both Petri nets and digraphs to exploit the higher simplicity of digraphs to detect deadlock combined with theoretic results known for Petri nets. The new PN-based prevention policies translate the information obtained from properly defined digraphs into empty siphons of a corresponding PN modeling the same system.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
