Marking estimation of petri nets with pairs of nondeterministic transitions

Asian Journal of Control

Volumn 6, Issue 2, 2004, Pages 270-280

  Giua, Alessandro ^a   Seatzu, Carla ^a   Júlvez, Jorge ^b  

^a UNIVERSITY OF CAGLIARI   (Italy)

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Marking estimation; Nondeterministic transitions; Observability; Petri nets

Indexed keywords

LINEAR SYSTEMS; OBSERVABILITY;

FIXED STRUCTURE; MARKING ESTIMATION; TRANSITION LABELS;

PETRI NETS;

EID: 17444411306     PISSN: 15618625     EISSN: 19346093     Source Type: Journal    
DOI: 10.1111/j.1934-6093.2004.tb00204.x     Document Type: Article

References (12)

1. Benasser, A., “Reachability in Petri Nets: an Approach Based on Constraint Programming,” Ph.D. Thesis, Université de Lille, France (in French) (2000).
2. Caines, P. E., R. Greiner, and S. Wang, “Dynamical Logic Observers for Finite Automata,” Proc. 27th Conf. Deci. Contr., Austin, Texas, pp. 226-233 (1988).
3. Caines, P. E. and S. Wang., “Classical and Logic Based Regulator Design and Its Complexity for Partially Observed Automata,” Proc. 28th Int. Conf. Decis. Contr., Tampa, Florida, pp. 132-137 (1989).
4. m,” J. Comput. Syst. Sci., Vol. 59, No. 3, pp. 373-391 (1999).
5. Giua, A., “Petri Net State Estimators Based on Event Observation,” Proc. 36th Int. Conf. Decis. Contr., San Diego, California, pp. 4086-4091 (1997).
6. Giua, A. and C., Seatzu. “Observability of Place/ Transition nets,” IEEE Trans. Automat. Contr., Vol. 47, No. 9, pp. 1424-1437 (2002).
7. Kumar, R., V. Garg, and S. I. Markus., “Predicates and Predicate Transformers for Supervisory Control of Discrete Event Dynamical Systems,” IEEE Trans. Automat. Contr., Vol. 38, No. 2, pp. 232-247 (1993).
8. Meda, M. E., A. Ramírez, and A. Malo, “Identifica-tion in Discrete Event Systems,” Proc. IEEE Int. Conf. Syst. Man Cybern., San Diego, California, pp. 740-745 (1998).
9. Murata, T., “Petri Nets: Properties, Analysis and Applications,” Proc. IEEE, Vol. 77, No. 4, pp. 541-580 (1989).
10. Özveren, C. M. and A.S. Willsky, “Observability of Discrete Event Dynamic Systems,” IEEE Trans. Automat. Contr., Vol. 35, No. 7, pp. 797-806 (1990).
11. Peterson, J. L., Petri Net Theory and The Modeling of Systems, Prentice-Hall, Englewood-Cliff, NJ (1981).
12. Ramadge, P. J., “Observability of Discrete-Event Systems,” Proc. 25th Conf. Decis. Contr., Athens, Greece, pp. 1108-1112 (1986).