Analysing infinite-state systems by combining equivalence reduction and the sweep-line method

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2360 LNCS, Issue , 2002, Pages 314-334

  Mailund, Thomas ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Infinite State Systems; Reduction Techniques; State Space Analysis; Timed Coloured Petri Nets

Indexed keywords

EQUIVALENCE CLASSES; SEMANTICS; SET THEORY; SPACE RESEARCH;

EQUIVALENCE RELATIONS; INFINITE STATE SYSTEMS; ON-THE FLY VERIFICATION; REDUCTION TECHNIQUES; STATE SPACE EXPLORATION; STATE-SPACE ANALYSIS; STATE-SPACE GENERATION; TIMED COLOURED PETRI NETS;

PETRI NETS;

EID: 23044532653     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48068-4_19     Document Type: Conference Paper

References (17)

1. G. Berthelot. Occurrence Graphs for Interval Timed Coloured Nets. In Proceedings of ICATPN'94, volume 815 of Lecture Notes in Computer Science, pages 79-98. Springer Verlag, 1994. 315, 331
2. D. Bertsekas and R. Gallager. Data Networks. Prentice-Hall, Inc., 1992. 316
3. S. Christensen, K. Jensen, and L.M. Kristensen. Design/CPN Occurrence Graph Manual. Department of Computer Science, University of Aarhus, Denmark. Online version: http://www.daimi.au.dk/designCPN/. 327
4. S. Christensen, K. Jensen, T. Mailund, and L. M. Kristensen. State Space Methods for Timed Coloured Petri Nets. In Proceedings of 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, Berlin Germany, September 2001. 315, 316, 326
5. S. Christensen and J. B. Jørgensen. Analysis of Bang and Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets. In P. Azéma and G. Balbo, editors, Proceedings of ICATPN'97, volume 1248 of Lecture Notes in Computer Science, pages 387-406. Springer-Verlag, 1997. 327, 329, 330
6. S. Christensen, J. B. Jørgensen, and L. M. Kristensen. Design/CPN-A Computer Tool for Coloured Petri Nets. In E. Brinksma, editor, Proceedings of TACAS'97, volume 1217 of Lecture Notes in Computer Science, pages 209-223. Springer-Verlag, 1997. 327
7. S. Christensen, L. M. Kristensen, and T. Mailund. A Sweep-Line Method for State Space Exploration. In Tiziana Margaria and Wang Yi, editors, Proceedings of TACAS'01, volume 2031 of Lecture Notes in Computer Science, pages 450-464. Springer-Verlag, 2001. 315, 317, 318, 319, 326, 327, 330
8. S. Christensen, L.M. Kristensen, and T. Mailund. Condensed State Spaces for Timed Petri Nets. In José-Manuel Colom and Maciej Koutny, editors, Proceedings of ICATPN'01, volume 2075 of Lecture Notes in Computer Science, pages 101-120. Springer-Verlag, 2001. 315, 330, 331
9. E. M. Clarke, R. Enders, T. Filkorn, and S. Jha. Exploiting Symmetries in Temporal Logic Model Checking. Formal Methods in System Design, 9, 1996. 320
10. E. A. Emerson and A. P. Sistla. Symmetry and Model Checking. Formal Methods in System Design, 9, 1996. 320
11. K. Jensen. Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use.-Volume 1: Basic Concepts. Monographs in theoretical computer science, Springer-Verlag, Berlin, 1992. 316
12. K. Jensen. Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use.-Volume 2: Analysis Methods. Monographs in theoretical computer science, Springer-Verlag, Berlin, 1994. 315, 319, 320, 322, 331
13. K. Jensen. Condensed State Spaces for Symmetrical Coloured Petri Nets. Formal Methods in System Design, 9, 1996. 320
14. J. B. Jørgensen and L. M. Kristensen. Design/CPN Condensed State Space Tool Manual. Department of Computer Science, University of Aarhus, Denmark, 1996. Online: http://www.daimi.au.dk/designCPN/. 327
15. L. M. Kristensen, S. Christensen, and K. Jensen. The Practitioner's Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2):98-132, December 1998. 315, 316
16. Design/CPN Online. http://www.daimi.au.dk/designCPN/. 327
17. W. M. P. van der Aalst. Interval Timed Coloured Petri Nets and their Analysis. In Proceedings of ICATPN'93, volume 691 of Lecture Notes in Computer Science, pages 453-472. Springer Verlag, 1993. 315, 331