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