Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets

  title={Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets},
  author={Luigi Piroddi and Roberto Cordone and Ivano Fumagalli},
  journal={IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans},
In Petri-net (PN) modeling of flexible manufacturing systems, deadlock prevention is often addressed by means of siphon-control methods. Constraints that avoid the emptying of siphons can be easily implemented using additional places suitably connected to the PN transitions. Efficient siphon-based techniques achieve highly permissive solutions using as few control places as possible. One such technique employs a set-covering approach to optimally match emptiable siphons to critical markings. In… CONTINUE READING
Highly Cited
This paper has 112 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 70 extracted citations

113 Citations

Citations per Year
Semantic Scholar estimates that this publication has 113 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 29 references

Pradat-Peyre, “On liveness and controlled siphons in Petri nets,

  • J.F.K. Barkaoui
  • Proc. 17th Int. Conf. Appl. Theory Petri Nets…
  • 1996
Highly Influential
10 Excerpts

A resource decoupling approach for deadlock prevention in FMS,

  • L. Piroddi, M. Cossalter, L. Ferrarini
  • Int. J. Adv. Manuf. Technol.,
  • 2009
3 Excerpts

Similar Papers

Loading similar papers…