swMATH3186MaRDI QIDQ15719FDOQ15719
Author name not available (Why is that?)
Official website: http://www.inf.pucrs.br/peg/pub/tr/tr039.pdf
Cited In (39)
- Title not available (Why is that?)
- Specification techniques for Markov reward models
- Title not available (Why is that?)
- A tensor sum preconditioner for stochastic automata networks
- Title not available (Why is that?)
- 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
- Analysis of a large number of Markov chains competing for transitions
- From queueing networks to Markov chains: The XMARCA interface
- Aggregation of stochastic automata networks with replicas
- Formal techniques for performance analysis: blending SAN and PEPA
- Testing the nearest Kronecker product preconditioner on Markov chains and stochastic automata networks
- The Kronecker product and stochastic automata networks
- Analyzing Markov chains using Kronecker products. Theory and applications
- Iterative methods based on splittings for stochastic automata networks
- SMART_
- GTAEXPRESS
- APNN-Toolbox
- LDQBD
- DSPNexpress
- MACOM
- CometG
- PEPA
- ESP
- 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
- Title not available (Why is that?)
- Phase-type distributions in stochastic automata networks
- Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space
- Title not available (Why is that?)
- A new iterative numerical solution algorithm for a class of stochastic Petri nets
- Stochastic object-based graph grammars
- Lumpable continuous-time stochastic automata networks.
- Title not available (Why is that?)
- Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
- Modelling of biochemical reactions by stochastic automata networks
This page was built for software: PEPS
