Model-checking continuous-time Markov chains
ACM Transactions on Computational Logic (TOCL)
Model Checking Continuous-Time Markov Chains by Transient Analysis
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Efficient Reachability Set Generation and Storage Using Decision Diagrams
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Mathematical Modeling of the Influence of RKIP on the ERK Signaling Pathway
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Logic and stochastic modeling with SMART
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools
ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
Bioinformatics
Using probabilistic model checking in systems biology
ACM SIGMETRICS Performance Evaluation Review
Snoopy: a tool to design and animate/simulate graph-based formalisms
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
DSSZ-MC --- A Tool for Symbolic Analysis of Extended Petri Nets
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
A unifying framework for modelling and analysing biochemical pathways using Petri nets
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
How fast and fat is your probabilistic model checker? an experimental performance comparison
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
From petri nets to differential equations – an integrative approach for biochemical network analysis
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
A comparative study of stochastic analysis techniques
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
IDD-based model validation of biochemical networks
Theoretical Computer Science
How might petri nets enhance your systems biology toolkit
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
GreatSPN enhanced with decision diagram data structures
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
MARCIE: model checking and reachability analysis done efficiently
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
| Hi-index | 0.00 |
This paper presents an Interval Decision Diagram based approach to symbolic CSL model checking of Continuous Time Markov Chains which are derived from stochastic Petri nets. Matrix-vector and vector-matrix multiplication are the major tasks of exact analysis. We introduce a simple, but powerful algorithm which uses explicitly the Petri net structure and allows for parallelisation. We present results demonstrating the efficiency of our first prototype implementation when applied to biochemical network models, specifically with increasing token numbers. Our tool currently supports CSL model checking of time-bounded operators and the Next operator for ordinary stochastic Petri nets.