Linear control of live marked graphs

Chen, 1998, Net structure and control logic synthesis of controlled Petri nets, IEEE Transactions on Automatic Control, 43, 1446, 10.1109/9.720505 Chen, 2000, Control synthesis of Petri nets based on S-decreases, Discrete Event Dynamic Systems, 10, 233, 10.1023/A:1008349927281 Droste, 1992, Bounded Petri nets of finite dimension have only finitely many reachable markings, Bulletin of the EATCS, 48, 172 Giua, A., Di Cesare, F., & Silva, M. (1992). Generalized mutual exclusion constraints on nets with uncontrollable transitions. In Proceedings of the IEEE-SMC (pp. 974–979), Chicago, Illinois, USA. Holloway, 1992, On closed-loop liveness of discrete-event systems under maximally permissive control, IEEE Transactions on Automatic Control, 37, 692, 10.1109/9.135519 Iordache, M., Moody, J., & Antsaklis, P. (2001). A method for the synthesis of liveness enforcing supervisors in Petri nets. In Proceedings of the American control conference (pp. 4943–4948), Arlington, VA. Li, 1993, Control of vector discrete-event systems I—the base model, IEEE Transactions on Automatic Control, 38, 1214, 10.1109/9.233154 Li, 1994, Control of vector discrete-event systems II—controller synthesis, IEEE Transactions on Automatic Control, 39, 512, 10.1109/9.280750 Moody, 2000, Petri net supervisors for DES with uncontrollable and unobservable transitions, IEEE Transactions on Automatic Control, 45, 462, 10.1109/9.847725 Murata, 1977, Circuit theoretic analysis and synthesis of marked graphs, IEEE Transactions on Circuits and Systems, 24, 400, 10.1109/TCS.1977.1084357 Murata, 1989, Petri nets, Proceedings of the IEEE, 77, 541, 10.1109/5.24143 Ramadge, 1987, On the supremal controllable language of a given language, SIAM Journal of Control and Optimization, 8, 637 Rezg, N., Xie, X., & Ghaffari, A. (2000). Supervisory control in discrete event systems using the theory of regions. In Discrete event systems: Analysis and control (pp. 391–398). Dordrecht, Kluwer Academic Publishers. Schrijver, 1986 Valk, 1985, The residue of vector sets with applications to decidability problems in Petri nets, Acta Informatica, 21, 643, 10.1007/BF00289715 Yamalidou, 1996, Feedback control of Petri nets based on place invariants, Automatica, 32, 15, 10.1016/0005-1098(95)00103-4