DocumentCode :
2897818
Title :
Parsimonious deadlock-free Petri net models of flexible manufacturing systems
Author :
Basile, Francesco ; Cordone, Roberto ; Piroddi, Luigi
Author_Institution :
Dipt. di Ing. dell´Inf. e Ing. Elettr., Univ. di Salerno, Salerno, Italy
fYear :
2013
fDate :
17-19 June 2013
Firstpage :
119
Lastpage :
124
Abstract :
Petri net (PN) modeling of flexible manufacturing systems is generally performed through a sequential procedure that introduces additional constraint layers over an unconstrained PN modeling the production sequences. The constraints account for job limitations, resources usage, liveness, etc., and are typically all representable as generalized mutual exclusion constraints, that can be implemented as monitor places suitably connected to the PN´s transitions. This sequential procedure typically yields a redundant model, that is not easily reduced a posteriori. An integrated modeling approach is here proposed to solve the redundancy problem by enforcing all the constraints in a single design step that optimizes the number of monitors. The monitor design task is reformulated as a classification problem, which is solved through an efficient branch & bound approach. Some examples emphasize the potential model size reductions that can be achieved.
Keywords :
Petri nets; flexible manufacturing systems; optimisation; redundancy; tree searching; PN transitions; branch & bound approach; deadlock-free Petri net models; flexible manufacturing systems; generalized mutual exclusion constraints; integrated modeling approach; job limitations; potential model size reductions; production sequences; redundancy problem; resource usage; sequential procedure; unconstrained PN modeling; Biomedical monitoring; Law; Manufacturing systems; Monitoring; System recovery;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
American Control Conference (ACC), 2013
Conference_Location :
Washington, DC
ISSN :
0743-1619
Print_ISBN :
978-1-4799-0177-7
Type :
conf
DOI :
10.1109/ACC.2013.6579824
Filename :
6579824
Link To Document :
بازگشت