Monitor optimization in Petri net control

@article{Cordone2011MonitorOI,
  title={Monitor optimization in Petri net control},
  author={Roberto Cordone and Luigi Piroddi},
  journal={2011 IEEE International Conference on Automation Science and Engineering},
  year={2011},
  pages={413-418}
}
Deadlock Prevention and Liveness Enforcement in Petri nets are mostly addressed with monitor-based methods, designed indirectly using the concept of siphon or the theory of regions. The obtained control solutions are sometimes maximally permissive, but generally not optimal in terms of the number of monitors, nor in the cost of the control subnet. This paper proposes an optimization approach aiming at the direct design of the monitors, that allows for an easy formalization of the various… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
12 Citations
21 References
Similar Papers

Citations

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

References

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

A Resource Decoupling Approach for Deadlock Prevention in FMS

  • L. Piroddi, M. Cossalter, L. Ferrarini
  • Int. J. Adv. Manuf. Technol.,
  • 2009
1 Excerpt

Similar Papers

Loading similar papers…