Article thumbnail

Parsimonious deadlock-free Petri net models of flexible manufacturing systems

By F. Basile, R. Cordone and L. Piroddi


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

Topics: Settore INF/01 - Informatica, Settore MAT/09 - Ricerca Operativa, Settore ING-INF/04 - Automatica
Publisher: place:Piscataway
Year: 2013
OAI identifier:
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.