Bounds on the number of markings consistent with label observations in petri nets

IEEE Transactions on Automation Science and Engineering

Volumn 6, Issue 2, 2009, Pages 334-344

  Ru, Yu ^a   Hadjicostis, Christoforos N ^b  

^a University of Illinois at Urbana Champaign   (United States)

^b UNIVERSITY OF CYPRUS   (Cyprus)

Author keywords

Discrete event systems (DESs); Petri nets; State estimation

Indexed keywords

CONTROLLER DESIGNS; DISCRETE-EVENT SYSTEMS (DESS); ESTIMATION PROBLEMS; FAULT DIAGNOSIS; INITIAL STATE; LEVEL OF ABSTRACTIONS; MANUFACTURING SYSTEMS; PETRI-NET; POLYNOMIAL BOUNDS; SENSOR LIMITATIONS; SEQUENCE OF EVENTS; STATE TRANSITIONS; SUB-NETS; SUPERVISORY CONTROLS; SYSTEM STATE; TRAFFIC SYSTEMS; TRANSITION STRUCTURES; UNOBSERVABLE; UPPER BOUNDS;

COMPUTER NETWORKS; ESTIMATION; GRAPH THEORY; LABELS; MARINE BIOLOGY; POLYNOMIAL APPROXIMATION; SENSORS; STATE ESTIMATION; STRUCTURAL DESIGN;

PETRI NETS;

EID: 64049111568     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2008.2009095     Document Type: Article

References (17)

1. P. J. Ramadge and W. M.Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, pp. 81-98, Jan. 1989.
2. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems. Boston, MA: Kluwer, 1999.
3. L. E. Holloway and B. H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets," IEEE Trans. Autom. Control, vol. 35, pp. 514-523, May 1990.
4. J. Park and S. A. Reveliotis, "Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states," IEEE Trans. Robot. Autom., vol. 18, pp. 234-240, Apr. 2002.
5. A. Giua and C. Seatzu, "Observability of place/transition nets," IEEE Trans. Autom. Control, vol. 47, pp. 1424-1437, Sep. 2002.
6. A. Giua, C. Seatzu, and F. Basile, "Observer-based state-feedback control of timed Petri nets with deadlock recovery," IEEE Trans. Autom. Control, vol. 49, pp. 17-29, Jan. 2004.
7. A. Giua, D. Corona, and C. Seatzu, "State estimation of λ-free labeled Petri nets with contact-free nondeterministic transitions," Discrete Event Dynamic Systems: Theory and Applications, vol. 15, pp. 85-108, Mar. 2005.
8. D. Corona, A. Giua, and C. Seatzu, "Marking estimation of Petri nets with silent transitions," in Proc. 43rd IEEE Conf. Decision and Control, Atlantis, Bahamas, Dec. 2004, pp. 966-971.
9. A. Giua and C. Seatzu, "Fault detection for discrete event systems using Petri nets with unobservable transitions," in Proc. 44th IEEE Conf. Decision and Control, Seville, Spain, Dec. 2005, pp. 6323-6328.
10. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, Apr. 1989.
11. J. L. Peterson, Petri Net Theory and the Modelling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
12. E. F. Beckenbach and R. E. Bellman, Inequalities. New York: Springer-Verlag, 1965.
13. Y. Ru, W. Wu, H. Su, and J. Chu, "Supervisor synthesis for bounded Petri nets based on a transformation function," in Proc. 2004 Amer. Control Conf., Boston, MA, Jun. 2004, pp. 4493-4498.
14. R. Bouyekhf and A. E. Moudni, "On the analysis of some structural properties of Petri nets," IEEE Trans. Syst., Man, Cybern. A, vol. 35, pp. 784-794, Jun. 2005.
15. A. Bourjij and D. Koenig, "An original Petri net state estimation by a reduced Luenberger observer," in Proc. Amer. Control Conf., San Diego, CA, 1999, pp. 1986-1989.
16. S. Genc and S. Lafortune, "Distributed diagnosis of discrete-event systems using Petri nets," in Proc. 24th Int. Conf. Applications and Theory of Petri Nets, Eindhoven, The Netherlands, 2003, vol. 2679, Lecture Notes in Computer Science, pp. 316-336.
17. G. Stremersch, Supervision of Petri Nets. Norwell, MA: Kluwer, 2001.