Marking estimation of Petri nets with silent transitions

Proceedings of the IEEE Conference on Decision and Control

Volumn 1, Issue , 2004, Pages 966-971

  Corona, Daniele ^a   Giua, Alessandro ^a   Seatzu, Carla ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FINITE AUTOMATA; GRAPH THEORY; LINGUISTICS; MATHEMATICAL MODELS; SET THEORY;

DETERMINISTIC FINITE AUTOMATION (DFA); DISCRTE EVENT SYSTEMS (DES); NONDETERMINISTIC FINITE AUTOMATION (NFA); TRANSITION LABELS;

PETRI NETS;

EID: 14344252520     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2004.1428810     Document Type: Conference Paper

References (12)

1. A. Benasser, "Reachability in Petri nets: an approach based on constraint programming" (in French), Ph.D. Thesis, Université de Lille 1, 2000.
2. m," J. of Computer and System Sciences, Vol. 59, No. 3, pp. 373-91, Dec. 1999.
3. A. Giua, C. Seatzu, "Observer based state-feedback control of timed Petri nets with deadlock recovery," IEEE T. on Automatic Control, Vol. 49, No. 1, pp. 17-29, Jan. 2004.
4. A. Giua, J. Júlvez, C. Seatzu, "Marking estimation of Petri nets with pairs of nondeterministic transitions," Asian Journal of Control, Special Issue on the "Control of Discrete Event Systems", Vol. 6, pp. 270-280, No. 2.
5. A. Giua, D. Corona, C. Seatzu, "State Estimation of λ-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions," Technical Report, University of Cagliari, Italy, 2004.
6. Also submitted to J. of Discrete Event Dynamic Systems.
7. M. Heymann, F. Lin, "On-line control of partially-observed discrete-event systems," J. of Discrete Event Dynamic Systems, Vol. 4, No. 3, pp. 221-236, 1994.
8. C.A.R Hoare, Communicating Sequential Processes, Prentice Hall 1985.
9. J.E. Hopcroft, J.D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 1979.
10. M.E. Meda, A. Ramírez, A. Malo, "Identification in discrete event systems," Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, San Diego, CA, pp. 740-5, Oct. 1998.
11. T. Murata, "Petri nets: properties, analysis and applications," Proc. IEEE, Vol. 77, No. 4, pp. 541-580, 1989.
12. L. Zhang, L.E. Holloway, "Forbidden state avoidance in controlled Petri nets under partial observation," 33rd Allenon Conference, Monticello, Illinois, 1995, pp. 146-155.