Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs

@article{Uzam2016ThinkgloballyactlocallyAW,
  title={Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs},
  author={Murat Uzam and G{\"o}khan Gelen and Tahir Lawan Saleh},
  journal={Inf. Sci.},
  year={2016},
  volume={363},
  pages={235-260}
}
This paper proposes a general approach, called a think-globally-act-locally method with weighted arcs (TGALW), which can be used to compute a liveness-enforcing supervisor (LES) for the Petri net (PN) model of a flexible manufacturing system (FMS) prone to deadlocks. Compared with siphon-based deadlock prevention policies that are usually rather conservative, the method is especially effective for generalized PN classes such as SR and SPR and also leads to optimal or near optimal LESs while… CONTINUE READING