Much compact time Petri net state class spaces useful to restore CTL* properties

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2005, Issue , 2005, Pages 224-233

  Hadjidj, Rachid ^a   Boucheneb, Hanifa ^a  

^a ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; MATHEMATICAL MODELS; NUMERICAL ANALYSIS; SYSTEMS ANALYSIS;

FINITE GRAPHS; PARTITION REFINEMENT TECHNIQUES; TIME PETRI NETS;

PETRI NETS;

EID: 33746311512     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACSD.2005.28     Document Type: Conference Paper

References (22)

1. R. Alur, D. Dill. Automata for modeling real-time systems. 17th ICALP, Lecture Notes in Computer Science 443, 1990.
2. C. André. Synchronized Elementary Net Systems. Advances in Petri Nets, Grzegorz Rosenberg editor, Lecture Notes in Computer Science 424, 1989.
3. B. Berthomieu, F. Vernadat. State class constructions for branching analysis of Time Petri nets. Lecture Notes in Computer Science 2619, 2003.
4. B. Berthomieu. La méthode des classes d'états pour l'analyse des réseaux temporels - mise en oeuvre, extension la multisensibilisation. In Proc. Modélisation des Systmes Réactifs, France, October 2001.
5. B. Berthomieu, M. Diaz. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering, vol. 17, no. 3, 1991.
6. H. Boucheneb, G. Berthelot. Contraction of the ITCPN state space. Electronic Notes in Theoretical Computer Science, vol. 65, no. 6, 2002.
7. 2) et des temps de chemin en O(m × n). Technique et Science Informatiques, vol. 22, no. 4, 2003.
8. G. Bucci, E. Vicario. Compositional validation of timecritical systems using communicating Time Petri nets. IEEE transactions on software engineering, vol. 21, no. 12, 1995.
9. S.Christensen, L.M.Kritensen, T.Mailand. Condensed state spaces for timed Petri Nets. 22th International Conference On Application And Theory Of Petri Nets, 2001.
10. C. Daws, A. Olivero, S. Tripakis and S. Yovine. The tool Kronos. In Hybrid Systems III, Verification and Control, Lecture Notes in Computer Science 1066, 1996.
11. M. Diaz, P. Senac. Time Stream Petri Nets a model for Timed Multimedia Information. 15th International Conference on Application and Theory of Petri Nets, Lecture Notes in Computer Science 815, 1994.
12. T. A. Henzinger, P-H. Ho, H. Wong-Toi. HyTech: A Model Checker for Hybrid Systems. Software Tools for Technology Transfer 1: 110-122, 1997.
13. Pao-Ann Hsiung, Farn Wang. A State-Graph Manipulator Tool for Real-Time System Specification and Verification. In proc. Of the 5th International Conference on Real-Time Computing Systems and Applications, 1998.
14. K. Jensen. Coloured Petri Nets: Basic concepts, Analysis Methods and Practical use, volumes 1 and 2. EATCS Monographs on Theoretical Computer Science, Springer-verlag, 1982.
15. P. Merlin, D.J. Farber. Recoverability of communication protocols. IEEE Trans, on Communications 24, 1976.
16. W. Penczek, A. Polrola. Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata. InProc. of ICATPN, 2004.
17. C. Ramchandani. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. Project MAC, TR 120, MIT, 1974.
18. J. Sifakis. Use of Petri Nets for Performance Evaluation, Measuring, Modeling and Evaluating Computer Systems. H.Beilnerand E.Gelenbe editors, 1977.
19. W.M.P. van der Aalst. Interval Timed Coloured Petri Nets and their Analysis, 14th International Conference of Application and Theory of Petri Nets, 1993.
20. E.Vicaro. Static Analysis and Dynamic Steering of TimeDependent Systems. IEEE Transactions on Software Engineering, Vol.2NO.8. August 2001.
21. T.Yoneda, H. Ryuba. CTL Model Checking of Time Petri Nets Using Geometric Regions. IEICE Trans. Inf. & Syst., vol. E99-D, no. 3, 1998.
22. S.Yovine. Méthodes et outils pour la vérification symbolique de systèmes temporisés. Thesis, Institut Nationale Polytechnique de Grenoble, French, 1993.