1. Observers for nondeterministic λ-free labeled petri nets;Corona;In: Proc. 9th IEEE Int. Conf. on Emerging Technologies and Factory Automation,2003
2. Petri net languages and infinite subsets of nm;Gaubert;J. Computer and System Sciences,1999
3. State estimation of λ-free labeled petri nets with contact-free nondeterministic transitions;Giua,2004
4. Identification in discrete event systems;Meda;In: Proc. 1998 IEEE Int. Conf. on Systems, Man, and Cybernetics,1998
5. Petri nets: properties, analysis and applications;Murata;Proceedings of the IEEE,1989