Have a personal or library account? Click to login

Supervisors of Petri Nets

Research Papers Faculty of Materials Science and Technology Slovak University of Technology
Volume 27 (2019): Issue 45 (September 2019)
By:
Open Access
|Dec 2019

References

  1. [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 ScholarBack to article
  2. [2] CASSANDRAS, C.G., LAFORTUNE, S. 2008. Introduction to Discrete Event Systems. 2nd 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 ScholarBack to article
  3. [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 ScholarBack to article
  4. [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 ScholarBack to article
  5. [5] FLOCHOVÁ, J., LIPTÁK, R., BACHRATÝ, P. 2003. An on line course for supervisory control teaching. In: Proceeding of 6th IFAC Symposium on Advances in Control education ACE 2003. 6th 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 ScholarBack to article
  6. [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 ScholarBack to article
  7. [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 ScholarBack to article
  8. [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 ScholarBack to article
  9. [9] HUDÁK, Š. 1994. DE-compositional reachability Analysis. Electrotechnics Journal, 45(11), 424-431.10.1017/S0951007900004162
    Search in Google ScholarBack to article
  10. [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 ScholarBack to article
  11. [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 ScholarBack to article
  12. [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 ScholarBack to article
  13. [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 ScholarBack to article
  14. [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 ScholarBack to article
  15. [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 ScholarBack to article
  16. [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 ScholarBack to article
  17. [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 ScholarBack to article
  18. [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 ScholarBack to article
  19. [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 ScholarBack to article
  20. [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 ScholarBack to article
  21. [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 ScholarBack to article
  22. [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 ScholarBack to article
  23. [23] TAKAI, S. 2018. Synthesis of bisimilarity enforcing supervisors for nondeterministic discrete event systems. In: Proceeding of 14th 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 ScholarBack to article
  24. [24] TAKAI, S. 2018. Maximally permissive supervisory control of nondeterministic discrete event systems with nondeterministic specification. In: Proceeding of 57th IEEE Conference on Decision and Control. 57th 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 ScholarBack to article
  25. [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 ScholarBack to article
  26. [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 ScholarBack to article
  27. [27] http://www.informatik.uni-hamburg.de/TGI/PetriNets/index.php, Petri Nets World. [Online].[Accessed: 07-2019]
    Search in Google ScholarBack to article
  28. [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 ScholarBack to article
  29. [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 ScholarBack to article
DOI: https://doi.org/10.2478/rput-2019-0023 | Journal eISSN: 1338-0532
Journal RSS Feed
Language: English
Page range: 33 - 41
Submitted on: Aug 19, 2019
Accepted on: Sep 12, 2019
Published on: Dec 16, 2019
Published by: Slovak University of Technology in Bratislava
In partnership with: Paradigm Publishing Services
Publication frequency: 2 issues per year
Keywords:
Discrete event systems,
supervisory control,
Petri nets,
reachability tree,
P-invariant
Related subjects:
Engineering,
Introductions and overviews,
Engineering, other

© 2019 Jana Flochová, Tomáš Lojan, published by Slovak University of Technology in Bratislava
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Previous articleVolume 27 (2019): Issue 45 (September 2019)Next article