CSL Model Checking for the GreatSPN Tool

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

Volumn 3280, Issue , 2004, Pages 543-552

  D'Aprile, Davide ^a   Donatelli, Susanna ^a   Sproston, Jeremy ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CHAINS; CONTINUOUS TIME SYSTEMS; MARKOV PROCESSES; PETRI NETS; PRISMS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

CONTINUOUS TIME MARKOV CHAIN; CSL MODEL; GENERALIZED STOCHASTIC PETRI NETS; INPUT FORMAT; MULTI-SERVER; POLLING MODEL; SINGLE STATE;

MODEL CHECKING;

EID: 33847301654     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30182-0_55     Document Type: Article

References (16)

1. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley (1995)
2. Alur, R., Henzinger, T.A.: Reactive Modules. Formal Methods in System Design 15 (1999) 7-48
3. APNN Web Page. http://ls4-www.cs.uni-dortmund.de/APNN-TOOLBOX/toolbox-en. html
4. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model-Checking Continuous Time Markov Chains. ACM Transactions on Computational Logic 1 (2000) 162-170
5. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Transactions on Software Engineering 29 (2003) 524-541
6. Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S.: Stochastic Well-Formed Coloured Nets for Symmetric Modelling Applications. IEEE Transaction on Computers 42 (1993) 1343-1360
7. Clarke, E.M., Fujita, M., McGeer, P., McMillan, K., Yang, J., Zhao, X.: Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation. In: Proceedings of the International Workshop on Logic Synthesis (IWLS'93). (1993) 6a:1-15 Also available in Formal Methods in System Design 10 (1997) 149-169
8. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (1999)
9. DANAMiCS Web Page. http://www.cs.uct.ac.za/Research/DNA/DaNAMiCS/ DaNAMiCS.html
10. The GreatSPNTool, http://www.di.unito.it/~greatspn
11. Hermanns, H., Herzog, U., Klehmet, U., Mertsiotakis, V., Siegle, M.: Compositional Performance Modelling with the TIPPtool. Performance Evaluation 39 (2000) 5-35
12. Hermanns, H., Katoen, J.-R, Meyer-Kayser, J., Siegle, M.: A Tool for Model-Checking Markov Chains. International Journal on Software Tools for Technology Transfer 4 (2003) 153-172
13. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press (1996)
14. Molloy, M.K.: Performance Analysis Using Stochastic Petri Nets. IEEE Transaction on Computers 31 (1982) 913-917
15. PRISM Web Site, http://www.cs.bham.ac.uk/~dxp/prism
16. UltraSAN Web Site. http://www.crhc.uiuc.edu/UltraSAN/index.html