Compositional time Petri nets and reduction rules

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

Volumn 30, Issue 4, 2000, Pages 562-572

  Wang, Jiacun ^b   Deng, Yi ^a,c   Zhou, MengChu ^a,d  

^a IEEE   (United States)

^b Florida International University   (United States)

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

^d NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITIONAL MODELING; FORMAL VERIFICATION; TIME PETRI NETS;

COMMAND AND CONTROL SYSTEMS; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; COMPUTER SOFTWARE; CONSTRAINT THEORY; REAL TIME SYSTEMS;

PETRI NETS;

EID: 0034250302     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/3477.865173     Document Type: Article

References (20)

1. B. Berthomieu and D. Diaz, "Modeling and verification of time dependent systems using time Petri nets," IEEE Trans. Softw. Eng., vol. 17, no. 3, pp. 259-275, 1991.
2. B. Berthomieu and M. Menasche, "An enumerative approach for analyzing time Petri nets," in Proc. IFIP Congr., Paris, France, Sept. 1983.
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. 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.
5. 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.
6. T. Murata, "Petri nets: Properties, analysis and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, 1989.
7. W. Reisig, Petri Nets. Berlin, Germany: Springer-Verlag, 1985.
8. R. Sloan and U. Buy, "Reduction rules for time Petri nets," Acta Inform., vol. 33, pp. 687-706, 1996.
9. I. Suzuki and T. Murata, "A method for step wise refinements and abstractions of Petri nets," J. Comput. Syst. Sci., vol. 27, no. 1, pp. 51-76, 1983.
10. J. Tsai, S. Yang, and Y. Chang, "Timing constraint Petri nets and their application to schedulability analysis of real-time system specifications," IEEE Trans. Softw. Eng., vol. 21, no. 1, pp. 32-49, 1995.
11. R. Valette, "Analysis of Petri nets by stepwise refinements," J. Comput. Syst. Sci., vol. 18, pp. 35-46, 1979.
12. J. Wang, Timed Petri Nets: Theory and Application. Norwell, MA: Kluwer, 1998.
13. J. Wang and Y. Deng, "Incremental modeling and verification of flexible manufacturing systems," J. Intell. Manuf., vol. 10, no. 6, pp. 845-502, 1999.
14. J. Wang, X. He, and Y. Deng, "Introducing software architecture specification and analysis in SAM through an example," Inform. Softw. Technol., vol. 41, no. 7, pp. 451-567, 1999.
15. J. Wang, G. Xu, and Y. Deng, "Reachability analysis of real-time systems using time Petri nets," IEEE Trans. Syst., Man, Cybern. B, 2000, to be published.
16. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Norwell, MA: Kluwer, 1993.
17. _, "Petri net modeling of buffers in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. B, vol. 26, no. 1, pp. 157-164, 1996.
18. M. C. Zhou, Petri Nets in Flexible and Agile Automation. Norwell, MA: Kluwer, 1995.
19. W. M. Zuberek, "Timed Petri nets: Definitions, properties, and applications," Microelectron. Reliab., vol. 31, no. 4, pp. 627-644, 1991.
20. R. Zurawski and M. C. Zhou, "Petri nets and industrial applications: A tutorial," IEEE Trans. Ind. Electron., vol. 41, pp. 567-583, Dec. 1994.