Contraction of the ITCPN state space

Electronic Notes in Theoretical Computer Science

Volumn 65, Issue 6, 2002, Pages 1-15

  Boucheneb, H ^a   Berthelot, G ^b  

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

^b Bioinformatique et Chimie Moléculaire   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; INTEGER PROGRAMMING; MATHEMATICAL MODELS; PETRI NETS; SET THEORY; THEOREM PROVING;

EQUIVALENCE; ITCPN STATE SPACE; STATE SPACE CONTRACTIONS; TIME INTERVALS;

FINITE AUTOMATA;

EID: 18944392476     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80466-3     Document Type: Conference Paper

References (15)

1. R. Alur, D. Dill, Automata for modeling real-time systems, 17éme ICALP, LNCS 443, Springer-verlag, 1990.
2. André C. Nets Petri, Rosenberg Grzegorz. Synchronized Elementary Net Systems. LNCS 424:1989;Springer-Verlag
3. Berthomieu B., Diaz M. Modeling and verification of time dependent systems using time Petri nets. IEEE Transactions on Software Engineering. 17:(3):March 1991
4. G. Berthelot, H. Boucheneb, Occurrence graphs for interval timed coloured nets, 15th International Conference on Application and Theory of Petri Nets, Zaragoza (Spain), LNCS 815, Springer-verlag, June 1994.
5. H. Boucheneb, G. Berthelot, Towards a simplified building of time Petri Net Reachability graphs, in proc. of Petri Nets and Performance Models PNPM'93, Toulouse (France), IEEE Computer Society Press, October 1993.
6. S. Christensen, L.M. Kritensen, T. Mailand, Condensed state spaces for timed Petri Nets, 22nd International Conference on Application and Theory of Petri Nets and 2nd International Conference on Application of Concurrency to System Design, June 2001, Newcastle Upon Tyne.
7. Daws C., Olivero A., Tripakis S., Yovine S. The tool Kronos. Hybrid Systems III, Verification and Control. LNCS 1066:1996;Springer-Verlag
8. M. Diaz, P. Sénac, Time Stream Petri Nets a model for Timed Multimedia Information, 15th International Conference on Application and Theory of Petri Nets, LNCS 815, Springer-Verlag, Zaragoza (Spain), June 1994.
9. Henzinger T.A., Ho P-H., Wong-Toi H. HyTech: A Model Checker for Hybrid Systems. Software Tools for Technology Transfer. 1:1997;110-122
10. 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, RTCSA'98, October 1998.
11. Jensen K. Coloured Petri Nets: Basic concepts, Analysis Methods and Practical use. EATCS Monographs on Theoretical Computer Science. volumes 1 and 2:1982;Springer-Verlag
12. Merlin P., Farber D.J. Recoverability of communication protocols. IEEE Trans. on Communications. 24:1976
13. C. Ramchandani, Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Project MAC, TR 120, MIT, 1974.
14. Sifakis J. Use of Petri Nets for Performance Evaluation. Beilner H., Gelenbe E. Measuring, Modeling and Evaluating Computer Systems. 1977;North-Holland
15. W.M.P. van der Aalst, Interval Timed Coloured Petri Nets and their Analysis, 14th International Conference of Application and Theory of Petri Nets, Chicago, 1993.