1. Qualitative diagnosis of condition systems;Ashley;Discrete Event Dyn. Syst.: Theory Appl.,2004
2. J. Cardoso, R. Valette, D. Dubois, Petri nets with uncertain markings, in: Advances in Petri Nets 1990 [Advances in Petri Nets 1990, Bonn, Germany, 28–30 June 1989], vol. 483, Springer-Verlag, 1991, pp. 64–78.
3. A Giua, Petri net state estimators based on event observation, in: Proceedings of IEEE 36th International Conference on Decision and Control, San Diego, 1997, pp. 4086–4091.
4. X. Guan, Distributed supervisory control of forbidden conditions, and automated synthesis and composition of task controllers, Ph.D. thesis, University of Kentucky, October 2000.
5. Y. Gong, Observer synthesis for control of a class of condition systems, Ph.D. thesis, University of Kentucky, 2003.