PEPS
From MaRDI portal
Cited in
(39)- Specification techniques for Markov reward models
- scientific article; zbMATH DE number 1538049 (Why is no real title available?)
- A tensor sum preconditioner for stochastic automata networks
- scientific article; zbMATH DE number 1946759 (Why is no real title available?)
- scientific article; zbMATH DE number 1786478 (Why is no real title available?)
- A Kronecker product approximate preconditioner for SANs
- Stochastic automata networks and near complete decomposability
- Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations
- Aggregation of stochastic automata networks with replicas
- From queueing networks to Markov chains: The XMARCA interface
- Analysis of a large number of Markov chains competing for transitions
- Formal techniques for performance analysis: blending SAN and PEPA
- The Kronecker product and stochastic automata networks
- Testing the nearest Kronecker product preconditioner on Markov chains and stochastic automata networks
- Analyzing Markov chains using Kronecker products. Theory and applications
- SMART_
- GTAEXPRESS
- APNN-Toolbox
- LDQBD
- DSPNexpress
- MACOM
- CometG
- PEPA
- ESP
- Iterative methods based on splittings for stochastic automata networks
- Efficient descriptor-vector multiplications in stochastic automata networks
- Stochastic Bounds for Partially Generated Markov Chains: An Algebraic Approach
- Euro-Par 2004 Parallel Processing
- Symbolic Reachability Analysis of Integer Timed Petri Nets
- Phase-type distributions in stochastic automata networks
- scientific article; zbMATH DE number 1552338 (Why is no real title available?)
- Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space
- scientific article; zbMATH DE number 1755134 (Why is no real title available?)
- A new iterative numerical solution algorithm for a class of stochastic Petri nets
- Stochastic object-based graph grammars
- Lumpable continuous-time stochastic automata networks.
- Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
- scientific article; zbMATH DE number 956806 (Why is no real title available?)
- Modelling of biochemical reactions by stochastic automata networks
This page was built for software: PEPS
