Supervisors of Petri Nets

Jana Flochová; Tomáš Lojan

doi:10.2478/rput-2019-0023

Abstract

The design and operation of modern industrial systems require modeling and analysis in order to select the optimal design alternative and operational policy. Discrete event system models are encountered in a variety of fields, for example computers, communication networks, manufacturing systems, sensors or actuators, faults diagnosis, robotics and traffic. The paper describes principles and methods of supervisory control of discrete event systems initiated by Ramadge and Wonham. Three supervisory control methods based on the Petri net models are introduced, and the key features of the Petri tool software application for the supervisory control of discrete event systems modeled by Petri nets are highlighted.

References

[1] BOEL, R. K. 2002. Adaptive supervisory control. In: Synthesis and Control of Discrete Event Systems (Caillaud et al., Ed.), Kluwer Academic Publishers, Boston. pp. 115-124. ISBN 0-7923-7639-0.10.1007/978-1-4757-6656-1_7
Search in Google Scholar Back to article
[2] CASSANDRAS, C.G., LAFORTUNE, S. 2008. Introduction to Discrete Event Systems. 2^nd ed. Springer Science+Business Media, LLC, 769 p., ISBN-13: 978-0-387-33332-8, e-ISBN-13: 978-0-387-68612-7.
Search in Google Scholar Back to article
[3] ČEŠKA, M. 1994. Petriho sítě (Petri nets). Brno: CERM Academic Publishing House, 94 p. ISBN 80-85867-35-4.
Search in Google Scholar Back to article
[4] FLOCHOVÁ, J., HRÚZ, B. 1996. Supervisory control for discrete event dynamic systems based on Petri nets. In: Proceeding of International conference on Process control. Czech Republic, Horní Bečva, 2, pp. 80-83.
Search in Google Scholar Back to article
[5] FLOCHOVÁ, J., LIPTÁK, R., BACHRATÝ, P. 2003. An on line course for supervisory control teaching. In: Proceeding of 6^th IFAC Symposium on Advances in Control education ACE 2003. 6^th Symposium on Advances in Control Education: Finland, Oulu, pp. 198-203. Elsevier Science, ltd., 2004. ISBN-10: 9780080435596; ISBN-13: 978-0080435596.
Search in Google Scholar Back to article
[6] A. GIUA, F. DICESARE. 1994. Petri Net Structural Analysis for Supervisory Control. IEEE Trans. on Robotics and Automation, 10(2), 185-195. ISSN 1042-296X.10.1109/70.282543
Search in Google Scholar Back to article
[7] HO, Y.(ed.) 1982. Discrete Event Dynamic Systems: Analyzing complexity and performance in the Modern World. A Selected Preprint Volume. The Institute of Electrical and Electronics Engineers, Inc., New York.
Search in Google Scholar Back to article
[8] HRÚZ, B., FLOCHOVÁ, J. 1999. The supervisory control design based on the Petri net reachability graph. Journal of Electrical Engineering, 50(11-12), 380-385. ISSN 1335-3632.
Search in Google Scholar Back to article
[9] HUDÁK, Š. 1994. DE-compositional reachability Analysis. Electrotechnics Journal, 45(11), 424-431.10.1017/S0951007900004162
Search in Google Scholar Back to article
[10] KOMENDA Jan, MASOPUST Tomáš, VAN SCHUPPEN Jan H. 2012. Supervisory Control Synthesis of Discrete-Event Systems using a Coordination Scheme. Automatica,48(2), 247-254. ISSN 0005-1098.10.1016/j.automatica.2011.07.008
Search in Google Scholar Back to article
[11] KOMENDA Jan, MASOPUST Tomáš, VAN SCHUPPEN Jan H. 2015. Coordination Control of Discrete-Event Systems Revisited. Discrete Event Dynamic Systems,25 (1), 65-94. ISBN 0924-6703 (Print) 1573-7594 (Online).10.1007/s10626-013-0179-x
Search in Google Scholar Back to article
[12] KUSHI, N., TAKAI, S. 2018. Synthesis of similarity enforcing supervisors for nondeterministic discrete event systems. IEEE Transaction on Automatic Control, 63(5), 1457-1464. ISSN 0018-9286.10.1109/TAC.2017.2747408
Search in Google Scholar Back to article
[13] LI, Y., WONHAM, W.M. 1993. Control of Discrete-Event Systems I-The based Model. IEEE Transaction on Automatic Control, 38(8), 1214-1227. ISSN 0018-9286.10.1109/9.233154
Search in Google Scholar Back to article
[14] LI, Y., WONHAM, W.M. 1994. Control of Discrete-Event Systems II-Controller Synthesis. IEEE Transaction on Automatic Control, 39(3), 512-531. ISSN 0018-9286.10.1109/9.280750
Search in Google Scholar Back to article
[15] LIN, F., WONHAM, W.M. 1988. Decentralized Supervisory Control of Discrete-Event Systems. Information Science, 44, 199-224. ISSN: 0020-0255.10.1016/0020-0255(88)90002-3
Search in Google Scholar Back to article
[16] MOODY J.O., ANTSAKLIS, P.J. 2000. Petri Net Supervisors for DES with Uncontrollable and Unobservable Transitions. IEEE Transaction on Automatic Control, 45(3), 462-476. ISSN 0018-9286.10.1109/9.847725
Search in Google Scholar Back to article
[17] MURATA, T. 1998. Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, 77(4), 541-580. ISSN 0018-9219.10.1109/5.24143
Search in Google Scholar Back to article
[18] RAMADGE, P., WONHAM, W.M. 1987. Supervisory control of a class of discrete event processes, SIAM J. Control and optimatization.25(1), 206-230. ISSN 0363-0129 (print).10.1137/0325013
Search in Google Scholar Back to article
[19] RAMADGE, P.J., WONHAM, W.M. 1998. The Control of Discrete Event Systems. Proceedings of the IEEE, 77(1), 81-98. ISSN 0018-9219.10.1109/5.21072
Search in Google Scholar Back to article
[20] SREENIVAS, R.S. 1997. On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by Petri nets. IEEE Transaction on Automatic Control, 42(7), 928-945. ISSN 0018-9286.10.1109/9.599972
Search in Google Scholar Back to article
[21] STREMERSCH, G., BOEL, R.K. 2001. Decomposition of supervisory control problem for Petri nets. IEEE Transaction on Automatic Control, 46(9), 1490-1496. ISSN 0018-9286.10.1109/9.948484
Search in Google Scholar Back to article
[22] STREMERSCH, G. 2001. Supervision of Petri nets. Kluwer Academic Publishers, 2001. 200 p. ISBN 0-7923-7486-X.10.1007/978-1-4615-1537-1
Search in Google Scholar Back to article
[23] TAKAI, S. 2018. Synthesis of bisimilarity enforcing supervisors for nondeterministic discrete event systems. In: Proceeding of 14^th Int. Workshop Discrete Event Systems. Workshop Discrete Event Systems: Italy, Sorrento Coast, pp. 1-6. ISBN 9781510867772.10.1016/j.ifacol.2018.06.270
Search in Google Scholar Back to article
[24] TAKAI, S. 2018. Maximally permissive supervisory control of nondeterministic discrete event systems with nondeterministic specification. In: Proceeding of 57^th IEEE Conference on Decision and Control. 57^th Conference on Decision and Control: USA, Florida, Miami Beach, pp. 3975-3980. ISBN 978-1-5386-1395-5.10.1109/CDC.2018.8618909
Search in Google Scholar Back to article
[25] WONG. K.C., VAN SCHUPPEN, J. 1996. Decentralized Supervisory Control of DES with Communication, In: Preprints of International Workshop on Discrete Event Systems WODES’1996. Workshop on Discrete Event Systems: UK, Scotland, Edinburg, pp.284-289. ISBN 0 85296 664 4.
Search in Google Scholar Back to article
[26] YAMALIDOU, K., MOODY, J. LEMMON, M., ANTSAKLIS, P. 1996. Feedback Control of Petri Nets Based on Place Invariants. Automatica. 32(1), 15-28. ISSN 0005-1098.10.1016/0005-1098(95)00103-4
Search in Google Scholar Back to article
[27] http://www.informatik.uni-hamburg.de/TGI/PetriNets/index.php, Petri Nets World. [Online].[Accessed: 07-2019]
Search in Google Scholar Back to article
[28] ZHOU, C., KUMAR, R. AND JIANG, S. 2006. Control of nondeterministic discrete event system for bisimulation equivalence. IEEE Transaction on Automatic Control,51(5), pp 754-765. ISSN 0018-9286.10.1109/TAC.2006.875036
Search in Google Scholar Back to article
[29] ZHOU, C., KUMAR, R. 2011. Bisimilarity enforcement for discrete event system using deterministic control. IEEE Transaction on Automatic Control,56(12), 2986-2991. ISSN 0018-9286.10.1109/TAC.2011.2161790
Search in Google Scholar Back to article

Supervisors of Petri Nets

Abstract

Paradigm

My account