Reachability analysis of real-time systems using time Petri nets

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

Volumn 30, Issue 5, 2000, Pages 725-736

  Wang, Jiacun ^b   Deng, Yi ^a,c   Xu, Gang ^d  

^a IEEE   (United States)

^b Florida International University   (United States)

^c The University of Texas at Dallas   (United States)

^d AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

REACHABILITY ANALYSIS; REAL TIME VERIFICATION; TIME PETRI NETS;

COMMAND AND CONTROL SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; REAL TIME SYSTEMS; TREES (MATHEMATICS);

CONTROL SYSTEM ANALYSIS;

EID: 0034295919     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.875448     Document Type: Article

References (20)

1. M. Athans, "Command and control (C2) theory: A challenge to control science," IEEE Trans. Automat. Contr., vol. AC-32, no. 4, pp. 286-293, 1987.
2. B. Berthomieu and M. Diaz, "Modeling and verification of time dependent systems using time Petri nets," IEEE Trans. Softw. Eng., vol. 17, no. 3, pp. 259-273, 1991.
3. G. Bucci and E. Vivario, "Compositional validation of time-critical systems using communicating time Petri nets," IEEE Trans. Softw. Eng., vol. 21, no. 12, pp. 969-992, 1995.
4. E. M. Clark, E. A. Emerson, and A. P. Sistla, "Automatic verification of finite concurrent systems using temporal logic specifications," ACM Trans. Program. Lang. Syst., vol. 8, no. 2, pp. 244-263, 1986.
5. A. Danthine, "Protocol representation with finite state models," IEEE Trans. Commun., vol. 28, no. 4, 1984.
6. Y. Deng, J. Wang, and R. Sinha, "Incremental architectural modeling and verification of real time concurrent systems," in Proc. 2nd IEEE Int. Conf. Formal Engineering Methods, Brisbane, Australia, 1998, pp. 26-34.
7. G. Florin, C. Fraize, and S. Natkin, "Stochastic Petri nets: Properties, applications and tools," Micro electron. Reliab., vol. 31, no. 4, pp. 669-697, 1991.
8. C. Heitmeyer and D. Mandrioli, "Formal methods for real-time computing: An overview," in Formal Methods for Real- Time Computing, C. Heitmeyer and D. Mandrioli, Eds. New York: Wiley, 1995, pp. 1-29.
9. D. Haban and K. G. Shin, "Application of real-time monitoring to scheduling tasks with random execution times," IEEE Trans. Softw. Eng., vol. 16, pp. 1374-1389, 1990.
10. K. M. Kavi, Real-Time Systems: Abstractions, Languages, and Design Methodologies. Los Alamitos, CA: IEEE Press, 1992.
11. P. Merlin and D. Farber, "Recoverability of communication protocols - Implication of a theoretical study," IEEE Trans. Commun., vol. COM-24, pp. 1036-1043, Sept. 1976.
12. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, pp. 541-584, Apr. 1989.
13. C. Ramamoorthy and G. Ho, "Performance evaluation of asynchronous concurrent systems using Petri nets," IEEE Trans. Softw. Eng., vol. SE-6, no. 5, pp. 440-449, 1980.
14. A. D. Stoyemko, C. Hamacher, and R. C. Holt, "Analyzing hard-real-time programs for guaranteed schedulability," IEEE Trans. Softw. Eng., vol. 12, no. 8, pp. 737-750, 1991.
15. J. J. P. Tsai, S. J. Yang, and Y. H. Chang, "Timing constraint Petri nets and their application to schedulability analysis of real-time system specification," IEEE Trans. Softw. Eng., vol. 21, no. 1, pp. 32-49, 1995.
16. J. Wang, Timed Petri Nets: Theory and Application. Boston, MA: Kluwer, 1998.
17. J. Wang and Y. Deng, "Incremental modeling and verification of flexible manufacturing systems," Int. J. Intell. Manuf., vol. 10, no. 6, pp. 485-502, 1999.
18. J. Wang, X. He, and Y. Deng, "Introducing software architecture specification and analysis in SAM through an example," Info. Softw. Technol., vol. 41, no. 7, pp. 451-567, 1999.
19. M. C. Zhou, Petri Nets in Flexible and Agile Automation. Boston, MA: Kluwer, 1995.
20. W. M. Zuberek, "Timed Petri nets: Definitions, properties, and applications," Microelectron. Reliab., vol. 31, no. 4, pp. 627-644, 1991.