Structural method for supervisory control of discrete event within the framework of Petri nets: a one-to-one link between the supervisory control theory and the place invariant method

References

• Alla, H. , & David, R. (2001). On hybrid petri nets. Discrete Event Dynamics Systems: Theory and Applications , 11 , 9–40. doi: 10.1023/A:1008330914786
   Web of Science ®Google Scholar
• Alla, H. , David, R. , Di Mascolo, M. et Ferrier, J-L. (2000). Analyse et commande des systèmes à événements discrets. Editions Hermès Science.
   Google Scholar
• Basile, F. C. (2006). Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places. Automatica , 42 (6), 995–1004. doi: 10.1016/j.automatica.2006.02.003
   Web of Science ®Google Scholar
• Boel, R. , Ben-Naoum, L. , & Breusegem, V. V. (1995). On forbidden state problems for a class of controlled Petri nets. IEEE Transactions on Automatic Control , 40 (10), 1717–1731. doi: 10.1109/9.467679
   Web of Science ®Google Scholar
• Cassandras, C. , & Lafortune, S. (2008). Introduction to discrete event systems (2nd ed.). New York : Springer.
   Google Scholar
• David, R. , & Alla, H. (2010). Discrete, Continuous, and hybrid petri nets . Berlin : Springer-Verlag.
   Google Scholar
• Dideban, A. (2007). Synthèse de contrôleurs discrets par simplification de contraintes et de conditions (Thèse de doctorat). Université Joseph Fourier.
   Google Scholar
• Dorsaf, E.-B. , Haddad, S. , & Hennicker, R. (2012). Refinement and asynchronous composition of modal Petri Nets. In K. Jensen , S. Donatelli , & J. Kleijn (Eds.), Lecture notes in computer science LNCS 6900 (pp. 96–120). Berlin : Springer.
   Google Scholar
• Gaudin, B. , & Marchand, H. (2004). Supervisory control of product and hierarchical discrete event systems. European Journal of Control , 10 (2), 131–145. doi: 10.3166/ejc.10.131-145
   Web of Science ®Google Scholar
• Ghaffari, A. , Rezg, N. , & Xie, X. (2003). Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation , 19 (1), 137–142. doi: 10.1109/TRA.2002.807555
   Google Scholar
• Giua, A. (2013). Supervisory control of Petri nets with language specifications. In C. Seatzu , M. Silva , & J. van Schuppen (Eds.), Control of discrete-event systems (Vol. 43, pp. 235–255). London : Springer.
   Google Scholar
• Giua, A. , & DiCesare, F. (1994). Blocking and controllability of Petri nets in supervisory control. IEEE Transactions on Automatic Control , 39 (4), 818–823. doi: 10.1109/9.286260
   Web of Science ®Google Scholar
• Giua, A. , DiCesare, F. , & Silva, M. (1992). Generalized mutual exclusion constraints on nets with uncontrollable transitions . Paper presented at the Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, Chicago (IL) (2, pp. 974–979).
   Google Scholar
• Giua, A. , & Seatzu, C. (2007). A systems theory view of Petri nets. In C. Bonivento , L. Marconi , C. Rossi & A. Isidori (Eds.), Advances in control theory and applications , Lecture Notes in Control and Information Sciences (353, pp. 99–127). Berlin : Springer.
   Google Scholar
• Godon, A. (1996). Contribution à la commande des systèmes à événements discrets par réseaux de Petri (Thèse de doctorat en Automatique Industrielle). Université d'Angers.
   Google Scholar
• Holloway, L. , Guan, X. , & Zhang, L. (1996). A generalization of state avoidance policies for controlled Petri nets. IEEE Transactions on Automatic Control , 41 (6), 804–816. doi: 10.1109/9.506233
   Web of Science ®Google Scholar
• Holloway, L. , & Krogh, H. (1990). Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Transactions on Automatic Control , 35 (5), 514–523. doi: 10.1109/9.53517
   Web of Science ®Google Scholar
• Hopcroft, J. , Motwani, R. , & Ullman, J. (2007). Introduction to automata theory, languages and computation (3rd ed.). Addison-wesley : Prentice Hall.
   Google Scholar
• Iordache, M. , Wu, P. , Zhu, F. , & Antsaklis, P. (2013). Efficient design of Petri-net supervisors with disjunctive specifications . Paper presented at the Proceedings of the IEEE International Conference on Automation Science and Engineering, Madison, WI .
   Google Scholar
• Komenda, J. , van Schuppen, J. H. , Gaudin, B. , & Marchand, H. (2008). Supervisory control of modular systems with global specification languages. Automatica , 44 (4), 1127–1134. doi: 10.1016/j.automatica.2007.09.004
   Web of Science ®Google Scholar
• Kumar, R. (1991). Supervisory Synthesis Techniques for Discrete Event Dynamical Systems (Thesis for the degree of Doctor of Philosophy). University of Texas.
   Google Scholar
• Kumar, R. , & Holloway, L. (1996). Supervisory control of deterministic Petri nets with regular specification languages. IEEE Transactions on Automatic Control , 41 (2), 245–249. doi: 10.1109/9.481527
   Web of Science ®Google Scholar
• Li, Y. , & Wonham, W. (1994). Control of vector discrete-event systems. II. Controller synthesis. IEEE Transactions on Automatic Control , 39 (3), 512–531. doi: 10.1109/9.280750
   Web of Science ®Google Scholar
• Moody, J. , & Antsaklis, P. (1998). Supervisory control of discrete event systems using Petri Nets . Boston : Kluwer Academic.
   Google Scholar
• Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE , 77 (4), 541–580. doi: 10.1109/5.24143
   Web of Science ®Google Scholar
• Paola, C. M. , Giua, A. , & Seatzu, C. (2013). Structural analysis of petri nets. In C. Seatzu (Ed.), Control of discrete-event systems, LNCIS (Vol. 433, pp. 213–233). London : Springer-Verlag.
   Google Scholar
• Pocci, M. , Demongodin, I. , Giambiasi, N. , & Giua, A. (2011). Synchronizing sequences on not strongly connected Petri nets . Paper presented at the Symposium On theory of modelling and Simulation (DEVS/TMS’11), Boston, MA .
   Google Scholar
• Ramadge, P. , & Wonham, W. (1989). The control of discrete event systems. Dynamics of Discrete Event Systems , 77 (1), 81–98.
   Google Scholar
• Ramadge, P. J. , & Wonham, W. M. (1983). Supervisory control of a class of discrete event processes. Lecture notes in computer science (LNCIS) (63, pp. 477–498). Germany : Springer-Verlag.
   Google Scholar
• Rezig, S. , Achour, Z. , & Rezg, N. (2016). Control synthesis based on theory of regions with Minimal reachability graph knowledge . Paper presented at the 8th IFAC Conference on manufacturing modelling, Management and control (MIM).
   Google Scholar
• Seatzu, C. , Silva, M. J. , & van Schuppen, H. (2012). Control of discrete-event systems, automata and Petri net perspectives. In Lecture Notes in control and information science (Vol. 45, pp. 433). London : Springer.
   Google Scholar
• Takai, S. , & Ushio, T. (2003). Supervisor synthesis for a class of concurrent discrete event systems . Proceedings of the 42nd IEEE Conference on Decision and control, IEEE (pp. 2686–2691).
   Google Scholar
• Uzam, M. (2010). On suboptimal supervisory control of Petri nets in the presence of uncontrollable transitions via monitor places. The International Journal of Advanced Manufacturing Technology , 47 , 567–579. doi: 10.1007/s00170-009-2219-0
   Web of Science ®Google Scholar
• Uzam, M. , & Wonham, W. (2006). A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets. The International Journal of Advanced Manufacturing Technology , 28 (7–8), 747–760. doi: 10.1007/s00170-004-2426-7
   Web of Science ®Google Scholar
• Vasiliu, A.-I. (2012). Synthèse de contrôleurs des systèmes à événements discrets basée sur les réseaux de Pétri. (Thèse PhD). UJF Grenoble- France. HAL archives ouvertes.
   Google Scholar
• Vasiliu, A. , & Alla, H. (2011). Control optimality for ordinary Petri nets . Paper presented at the ‘18th IFAC World Congress (18(1), pp. 3599–3604). Milano.
   Google Scholar
• Vasiliu, A. , Dideban, A. , & Alla, H. (2009). Control synthesis for manufacturing systems using non-safe Petri nets. Journal of Control Eng. and Applied Informatics , 11 (2), 43–50.
   Web of Science ®Google Scholar
• Wang, J. W. , Wang d, H. F. , Ding e, J. L. , Furuta, K. , Kanno, T. , Ip, W. H. , & Zhang, W. J. (2013). On domain modelling of the service system with its application to enterprise information systems . Taylor & Francis. Retrieved from http://www.tandfonline.com/loi/teis20 .
   Google Scholar
• Wonham, W. M. (2005). Supervisory control of discrete-event systems, Research report. Retrieved from http://www.control.toronto.edu/people/profs/wonham/wonham.html/ .
   Google Scholar
• Wonham, W. M. (2015). Supervisory control of discrete-event systems. In J. Baillieul & T. Samad (Eds.), Encyclopedia of systems and control (Vol. 45, pp. 250–256). London : Springer.
   Google Scholar
• Wonham, W. M. , & Kai, C. (2017). Supervisory control of discrete-event systems (Technical report). Department of ECE, University of Toronto. Retrieved from https://www.researchgate.net/publication/. doi:0.13140/RG.2.2.14314.52169 .
   Google Scholar
• Yamalidou, K. , Moody, J. O. , Lemmon, M. , & Antsaklis, P. (1996). Feedback control of Petri Nets based on place invariants. Automatica , 32 (1), 15–28. doi: 10.1016/0005-1098(95)00103-4
   Web of Science ®Google Scholar
• Yin, X. , & Lafortune, S. (2017). On the decidability and complexity of diagnosability for labeled Petri Nets. IEEE Transactions on Automatic Control , 66 (1), 5931–5938. doi: 10.1109/TAC.2017.2699278
   Google Scholar
• Yoo, T.-S. , & Lafortune, S. (2002). A general architecture for decentralized supervisory control of discrete-event systems. Discrete Event Dynamics Systems , 12 , 335–377. doi: 10.1023/A:1015625600613
   Web of Science ®Google Scholar
• Zhang, W. J. , Lin, Y. , & Sinha, N. (2011). On the function-behavior-structure model for design. Retrieved from https://www.researchgate.net/publication/265940063_ . doi: 10.24908.
   Google Scholar
• Zhou, M. C. , & DiCesare, F. (1993). Petri net synthesis for discrete event control of manufacturing systems . Norwell : Kluwer Academic Publishing.
   Google Scholar