[1] Aguirre-Salas L., Begovich, O., Ramírez-Treviño A.: Observability in interpreted Petri nets using sequence invariants. In: Proc. 41th IEEE Conference on Decision and Control, Hawai 2002, pp. 3602–3607

[2] Campos-Rodríguez R., Ramírez-Treviño, A., López-Mellado E.: Regulation control of partially observed discrete event systems. In: Proc. IEEE–SMC, The Hague 2004, pp. 1837–1842

[3] Chen C. T.: Linear System Theory and Design. Harcourt Brace Jovanovich Inc., New York 1970

[4] Cieslak R., Desclaux C., Fawaz, A., Varaiya P.: Supervisory control of discrete event processes with partial observation. IEEE Trans. Automat. Control 33 (1988), 249–260

[5] Desel J., Esparza J.: Free Choice Petri Nets. Cambridge University Press, Cambridge 1995 MR 1469221 | Zbl 0836.68074

[6] DiCesare F., Harhalakis G., Proth J. M., Silva, M., Vernadat F. B.: Practice of Petri Nets in Manufacturing. Chapman & Hall, London 1993

[7] Giua A.: Petri net state estimators based on event observation. In: Proc. 36th IEEE Conference on Decision and Control, San Diego 1997, pp. 4086–4091

[8] Giua A., Seatzu C.: Observability properties of Petri nets. In: Proc. 39th IEEE Conference on Decision and Control, Sydney 2000, pp. 2676–2681

[9] Hopcroft J. E., Ullman J. D.: Introduction to Automata Theory, Languages and Computation. Addison–Wesley, New York 1979 MR 0645539 | Zbl 0980.68066

[10] Ichikawa A., Hiraishi K.: Analysis and Control of Discrete Event Systems Represented by Petri Nets. (Lecture Notes in Control and Inform. Sciences 103.) Springer, Berlin 1989, pp. 115–134 MR 0947968

[11] Kumar R., Grag V. K., Marcus S. I.: On controllability and normality of discrete event dynamic systems. Systems Control Lett. 17 (1991), 157–168 MR 1125967

[12] Kumar R., Grag V. K., Marcus S. I.: On supervisory control of sequential behaviors. IEEE Trans. Automat. Control 37 (1992), 1978–1985 MR 1200617

[13] Kumar R., Shayman M. A.: Formulae relating controllability, observability and co-observability. Automatica 2 (1998), 211–215 MR 1609815 | Zbl 0911.93020

[14] Li Y., Wonham W. M.: Controllability and observability in the state-feedback control of discrete event systems. In: Proc. 27th IEEE Conference on Decision and Control, Austin 1988, pp. 203–207

[15] Lin F., Wonham W. M.: Decentralized control and coordination of discrete-event systems with partial observation. IEEE Trans. Automat. Control 35 (1990), 1330–1337 MR 1078145 | Zbl 0723.93043

[16] Meda M. E., Ramírez-Treviño, A., Malo A.: Identification in discrete event systems. IEEE Internat. Conference SMC, San Diego 1998, pp. 740–745

[17] Murata T.: Petri nets: properties, analysis and applications. Proc. IEEE 77 (1989), 541–580

[18] Özveren C. M., Willsky A. S.: Observability of discrete event dynamic systems. IEEE Trans. Automat. Control 35 (1990), 797–806 MR 1058364 | Zbl 0709.68030

[19] Perko L.: Differential Equations and Dynamic Systems. (Texts in Applied Mathematics.) Springer, New York 1996

[20] Ramadge P. J.: Observability of discrete event systems. In: Proc. 25th IEEE Conference on Decision and Control, Athens 1986, pp. 1108–1112

[21] Ramírez-Treviño A., Rivera-Rangel, I., López-Mellado E.: Observability of discrete event systems modeled by interpreted Petri nets. IEEE Trans. Robotics and Automation 19 (2003), 557–565

[22] Rivera-Rangel I., Aguirre-Salas L., Ramírez-Treviño, A., López-Mellado E.: Observer design for discrete event systems modeled by interpreted Petri nets. In: Proc. 39th IEEE Conference on Decision and Control, Sydney 2000, pp. 2260–2265

[23] Ushio T.: On the existence of finite-state supervisors under partial observations. IEEE Trans. Automat. Control 42 (1997), 1577–1581 MR 1479096 | Zbl 0891.93006

[24] Wonham W. M.: Linear Multivariable Control. A Geometric Approach. Springer, New York 1985 MR 0770574 | Zbl 0609.93001