IDD-MC - A model checker for bounded stochastic Petri nets

CEUR Workshop Proceedings

Volumn 643, Issue , 2010, Pages 80-87

  Schwarick, Martin ^a  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS TECHNIQUES; COMPUTATION TREE LOGIC; DECISION DIAGRAM; EXTENDED ARC; MODEL CHECKER; PETRI NET PROPERTIES; STOCHASTIC PETRI NETS; SYMBOLIC ANALYSIS;

ALGORITHMS; MODEL CHECKING; TOOLS;

PETRI NETS;

EID: 84890262480     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (26)

1. A. Aziz, K. Sanwal, V. Singhal, and R. Brayton. Model checking continuous-time Markov chains. ACM Trans. on Computational Logic, 1(1), 2000.
2. S. Baarir, M. Beccuti, D. Cerotti, M. De Pierro, S. Donatelli, and G. Franceschinis. The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Eval. Rev., 36(4): 4-9, 2009.
3. C. Baier, B. Haverkort, H. Hermanns, and J.-P. Katoen. Model checking continuous-time Markov chains by transient analysis. In Proc. CAV 2000, pages 358-372. LNCS 1855, Springer, 2000.
4. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications. ACM Trans. on Programming Languages and Systems, 8(2): 244-263, 1986.
5. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2001.
6. G. Ciardo, R. L. Jones, A. S. Miner, and R. Siminiceanu. Logical and stochastic modeling with SMART. Performance Evaluation, 63(1), 2006.
7. Daniel Deavours, William H. Sanders, and William H. S. On-the-Fly solution techniques for stochastic petri nets and extensions. In IEEE Transactions on Software Engineering, pages 132-141, 1997.
8. D. Gilbert, M. Heiner, and S. Lehrack. A unifying framework for modelling and analysing biochemical pathways using Petri nets. In Proc. CMSB 2007, pages 200-216. LNCS/LNBI 4695, Springer, 2007.
9. S. Gaonkar, K. Keefe, R. Lamprecht, E. Rozier, P. Kemper, and W. H. Sanders. Performance and dependability modeling with Möbius. SIGMETRICS Perform. Eval. Rev., 36(4): 16-21, 2009.
10. M. Heiner, R. Donaldson, and D. Gilbert. Petri Nets for Systems Biology, in Iyengar, M.S. (ed.), Symbolic Systems Biology: Theory and Methods. Jones and Bartlett Publishers, Inc., to appear, 2009.
11. C. Huang and J. Ferrell. Ultrasensitivity in the mitogen-activated protein kinase cascade. Proc. Natl. Acad. Sci., 93: 10078-10083, 1996.
12. M. Heiner, D. Gilbert, and R. Donaldson. Petri nets in systems and synthetic biology. In SFM, pages 215-264. LNCS 5016, Springer, 2008.
13. A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker. PRISM: A tool for automatic verification of probabilistic systems. In Proc. TACAS 2006, pages 441-444. Springer, LNCS 3920, 2006.
14. M. Heiner, C. Rohr, M. Schwarick, and S. Streif. A comparative study of stochastic analysis techniques. In Proc. CMSB 2010. Springer, 2010.
15. M. Kwiatkowska, G. Norman, and D. Parker. Stochastic model checking. In M. Bernardo and J. Hillston, editors, Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07), Volume 4486 of LNCS (Tutorial Volume), pages 220-270. Springer, 2007.
16. M. Kwiatkowska, G. Norman, and D. Parker. Using probabilistic model checking in systems biology. ACM SIGMETRICS Performance Evaluation Review, 35(4): 14-21, 2008.
17. A. Miner and D. Parker. Validation of Stochastic Systems: A Guide to Current Research, chapter Symbolic Representations and Analysis of Large Probabilistic Systems, pages 296-338. LNCS 2925. Springer, 2004.
18. A. Noack. A ZBDD Package for Efficient Model Checking of Petri Nets (in German). Technical report, BTU Cottbus, Dep. of CS, 1999.
19. D. Parker. Implementation of Symbolic Model Checking for Probabilistic Systems. PhD thesis, University of Birmingham, 2002.
20. L. Priese and H. Wimmel. Theoretical Informatics - Petri Nets (in German). Springer, 2003.
21. C. Rohr, W. Marwan, and M. Heiner. Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics, 26(7): 974-975, 2010.
22. M. Schwarick. Transient Analysis of Stochastic Petri Nets with Interval Decision Diagrams. In Proc. 15th German Workshop on Algorithms and Tools for Petri Nets (AWPN 2008), Volume 380 of CEUR Workshop Proceedings, pages 43-48. CEUR-WS.org, September 2008.
23. M. Schwarick and M. Heiner. CSL model checking of biochemical networks with interval decision diagrams. In Proc. CMSB 2009, pages 296-312. LNCS/LNBI 5688, Springer, 2009.
24. M. Schwarick and A. Tovchigrechko. IDD-based model validation of biochemical networks. Theoretical Computer Sience, 2010.
25. W.J. Stewart. Introduction to the Numerical Solution of Markov Chains. Princeton Univ. Press, 1994.
26. A. Tovchigrechko. Model Checking Using Interval Decision Diagrams. PhD thesis, BTU Cottbus, Dep. of CS, 2008.