The following pages link to PEPS (Q15719):
Displaying 30 items.
- The Kronecker product and stochastic automata networks (Q596165) (← links)
- Specification techniques for Markov reward models (Q686334) (← links)
- Formal techniques for performance analysis: blending SAN and PEPA (Q877152) (← links)
- Iterative methods based on splittings for stochastic automata networks (Q1303716) (← links)
- Aggregation of stochastic automata networks with replicas (Q1434417) (← links)
- Lumpable continuous-time stochastic automata networks. (Q1810536) (← links)
- Phase-type distributions in stochastic automata networks (Q2426529) (← links)
- Stochastic automata networks and near complete decomposability (Q2784367) (← links)
- Modelling of biochemical reactions by stochastic automata networks (Q2864207) (← links)
- Stochastic object-based graph grammars (Q2870329) (← links)
- Analyzing Markov Chains using Kronecker Products (Q2888773) (← links)
- Testing the nearest Kronecker product preconditioner on Markov chains and stochastic automata networks (Q2890429) (← links)
- A tensor sum preconditioner for stochastic automata networks (Q2901008) (← links)
- From queueing networks to Markov chains: The XMARCA interface (Q3122570) (← links)
- Efficient descriptor-vector multiplications in stochastic automata networks (Q3158510) (← links)
- A Kronecker product approximate preconditioner for SANs (Q3538838) (← links)
- Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations (Q3543311) (← links)
- Stochastic Bounds for Partially Generated Markov Chains: An Algebraic Approach (Q3543321) (← links)
- Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams (Q3599106) (← links)
- Symbolic Reachability Analysis of Integer Timed Petri Nets (Q3599107) (← links)
- Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space (Q4272466) (← links)
- (Q4411082) (← links)
- (Q4518905) (← links)
- (Q4524583) (← links)
- (Q4535168) (← links)
- (Q4547770) (← links)
- A new iterative numerical solution algorithm for a class of stochastic Petri Nets (Q4633170) (← links)
- Analysis of a large number of Markov chains competing for transitions (Q5172553) (← links)
- Euro-Par 2004 Parallel Processing (Q5311382) (← links)
- (Q5687213) (← links)
