PEPS

swMATH3186MaRDI QIDQ15719FDOQ15719

Author name not available (Why is that?)

Cited In (30)

• 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
• A new iterative numerical solution algorithm for a class of stochastic Petri Nets
• 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
• 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
• 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?)
• Analyzing Markov Chains using Kronecker Products
• 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