Discrete event representation of qualitative models using Petri nets

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 28, Issue 6, 1998, Pages 770-780

  Fanni, Alessandra ^a,b   Giua, Alessandro ^a,b  

^a IEEE   (Italy)

^b UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

Discrete event systems; Hybrid systems; Petri nets; Qualitative physics

Indexed keywords

COMPUTER SIMULATION; CONTROL SYSTEM SYNTHESIS; MATHEMATICAL MODELS; PETRI NETS;

QUALITATIVE PHYSICS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0032295804     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.735387     Document Type: Article

References (19)

1. M. S. Branicky, V. S. Borkar, and S. K. Mitter, "A unified framework for hybrid control," in Proc. IEEE Int. Conf. Decision Control, Lake Buena Vista, FL, Dec. 1994, pp. 4228-4234.
2. J. deKleer, "How circuits work," Artif. Intell., vol. 24, pp. 205-280, 1984.
3. J. deKleer and J. S. Brown, "A qualitative physics based on confluences," Artif. Intell., vol. 24, pp. 7-84, 1984.
4. A. Fanni, P. Diana, A. Giua, and M. Perezzani, "Qualitative dynamic diagnosis of circuits," Artif. Intell. Eng. Design, Anal., Manufact., vol. 7, no. 1, pp. 53-64, 1993.
5. A. Fanni, A. Giua, and D.-Y. Lee, "Petri nets in the qualitative modeling of systems," in Proc. 1994 IEEE Int. Conf. Systems, Man, Cybern., San Antonio, TX, Oct. 1994, pp. 2316-2321.
6. A. Fanni and A. Giua, "A formal methodology for representing qualitative equations with Petri nets," in Proc. 2nd IMACS Symp. Mathematical Modeling MATHMOD, Vienna, Austria, Feb. 1997, pp. 217-222.
7. K. D. Forbus, "Qualitative process theory," Artif. Intell., vol. 24, pp. 86-168, 1984.
8. L. E. Holloway, B. H. Krogh, and A. Giua, "A survey of Petri net methods for controlled discrete event systems," J. Discrete Event Dyn. Syst., vol. 7, pp. 151-190, 1997.
9. P. Fouché and B. Kuipers, "Reasoning about energy in qualitative simulation," IEEE Trans. Syst., Man, Cybern., vol. 22, pp. 47-63, Jan./Feb. 1992.
10. B. Kuipers, "Qualitative simulation," Artif. Intell., vol. 29, pp. 289-338, 1986.
11. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-580, Apr. 1989.
12. K. Okuda and T. Ushio, "Petri net based qualitative simulation," in Proc. IASTED Int. Symp. Expert Systems Theory Applications, Los Angeles, CA, Dec. 1990.
13. _, "Hierarchical qualitative simulation for large scale dynamic systems," in Applications of Artificial Intelligence in Engineering VI, G. Rzevski and R. A. Adey, Eds. Amsterdam, The Netherlands: Elsevier, pp. 301-317.
14. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
15. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proc. IEEE, vol. 77, pp. 81-98, Jan. 1989.
16. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, "Diagnosability of discrete event systems," IEEE Trans. Automat. Contr., vol. 40, pp. 1555-1575, Sept. 1995.
17. _, "Failure diagnosis using discrete event models," IEEE Trans. Contr. Syst. Technol., vol. 4, pp. 105-124, Mar. 1996.
18. M. Sampath, S. Lafortune, and D. Teneketzis, "A language-based approach to failure diagnosis of discrete event systems," in Proc. Int. Workshop Discrete Event Systems WODES 1996, Edinburgh, U.K., Aug. 1996, pp. 261-271.
19. A list of Petri net simulation and analysis tools is maintained at http://www.daimi.au.dk/PetriNets/tools/db.html.