Corpus ID: 2672348

Supervisory Controller Design to Enforce Reversibility and Liveness in Colored Petri Nets

@article{Aybar2007SupervisoryCD,
  title={Supervisory Controller Design to Enforce Reversibility and Liveness in Colored Petri Nets},
  author={A. Aybar and Mustafa Çimen},
  journal={International Journal of Control Automation and Systems},
  year={2007},
  volume={5},
  pages={463-470}
}
  • A. Aybar, Mustafa Çimen
  • Published 2007
  • Mathematics
  • International Journal of Control Automation and Systems
  • Colored Petri net model which is a model of discrete event systems is considered in this work. A supervisory controller which enforces reversibility and liveness simultaneously is presented. Furthermore, the algorithms, written by pseudo-code, are presented for the supervisory controller design. A program is developed to implement these algorithms. 
    4 Citations

    Figures from this paper

    References

    SHOWING 1-10 OF 17 REFERENCES
    Controller Design to Enforce Boundedness, Liveness, and Reversibility in Petri Nets 1
    • 7
    • Highly Influential
    Decentralized supervisory controller design to avoid deadlock in Petri nets
    • 16
    On Petri net models of infinite state supervisors
    • 51
    • PDF
    Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets
    • 17
    • PDF
    Supervisory controller design for timed Petri nets
    • Aydin Aybar, A. Iftar
    • Computer Science
    • 2006 IEEE/SMC International Conference on System of Systems Engineering
    • 2006
    • 18
    Design of T-liveness enforcing supervisors in Petri nets
    • 44
    • PDF