A compositional approach to performance modelling
A compositional approach to performance modelling
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Simulation Modeling and Analysis
Simulation Modeling and Analysis
Modelling with Generalized Stochastic Petri Nets
ACM SIGMETRICS Performance Evaluation Review - Special issue on Stochastic Petri Nets
Reduced Base Model Construction Methods for Stochastic Activity Networks
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Numerical Evaluation of Stochastic Automata Networks
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Extended Markovian Process Algebra
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
"On-the-fly" Soltuion Techniques for Stochastic Petri Nets and Extensions
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Approximate Computation of Transient Results for Large Markov Chains
QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Block SOR Preconditioned Projection Methods for Kronecker Structured Markovian Representations
SIAM Journal on Scientific Computing
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Logic and stochastic modeling with SMART
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
The GreatSPN tool: recent enhancements
ACM SIGMETRICS Performance Evaluation Review
PRISM: probabilistic model checking for performance and reliability analysis
ACM SIGMETRICS Performance Evaluation Review
Bio-PEPA: A framework for the modelling and analysis of biological systems
Theoretical Computer Science
Sliding Window Abstraction for Infinite Markov Chains
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Approximation of Event Probabilities in Noisy Cellular Processes
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Review: Stochastic approaches for modelling in vivo reactions
Computational Biology and Chemistry
Communications of the ACM
Efficient calculation of rare event probabilities in Markovian queueing networks
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Trend-Based analysis of a population model of the AKAP scaffold protein
Transactions on Computational Systems Biology XIV
The Propagation Approach for Computing Biochemical Reaction Networks
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
| Hi-index | 0.02 |
We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages --matrix descriptions, stochastic Petri nets, stoichiometric equations, stochastic process algebras, and guarded command models-- all describe continuous-time Markov chains, but they differ according to important properties, such as compositionality, expressiveness and succinctness, executability, ease of use, and the support they provide for checking the well-formedness of a model and for analyzing a model.