Stochastic Automata Networks with Master/Slave Synchronization: Product Form and Tensor

Authors:
Thu Ha Dao Thi;Jean Michel Fourneau
Affiliations:
PRiSM, Université de Versailles-Saint-Quentin, CNRS, UniverSud, Versailles, France;PRiSM, Université de Versailles-Saint-Quentin, CNRS, UniverSud, Versailles, France
Venue:
ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications
Year:
2009

Citing 17
Cited 7

Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space

Performance Evaluation
Efficient descriptor-vector multiplications in stochastic automata networks

Journal of the ACM (JACM)
Product form solution for a class of PEPA models

IPDS '98 Proceedings of the third IEEE international performance and dependability symposium on International performance and dependability symposium
On the stochastic structure of parallelism and synchronization models for distributed algorithms
Stochastic Automata Networks and Near Complete Decomposability

SIAM Journal on Matrix Analysis and Applications
G-Networks with resets

Performance Evaluation
A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets

IEEE Transactions on Software Engineering
An Efficient Kronecker Representation for PEPA Models

PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Multiple Class G-Networks with Jumps back to Zero

MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Turning back time in Markovian process algebra

Theoretical Computer Science
Compositional reversed Markov processes, with applications to G-networks

Performance Evaluation
Comparison of Multilevel Methods for Kronecker-based Markovian Representations

Computing
Product form for stochastic automata networks

Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Zero-Automatic Networks

Discrete Event Dynamic Systems
Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations

EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Discrete Time Markov Chains Competing over Resources: Product Form Steady-State Distribution

QEST '08 Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems
An algebraic condition for product form in stochastic automata networks without synchronizations

Performance Evaluation

G-networks with synchronised arrivals

Performance Evaluation
An initiative for a classified bibliography on G-networks

Performance Evaluation
Monotone queuing networks and time parallel simulation

ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
Bounding techniques for transient analysis of G-networks with catastrophes

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Markovian queueing network with complex synchronizations: Product form and tensor

Performance Evaluation
Bibliography on G-networks, negative customers and applications

Mathematical and Computer Modelling: An International Journal
Exploiting product forms solution techniques in multiformalism modeling

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present some Continuous Time Stochastic Automata Networks (SAN) based on Master/Slave synchronizations with a product form steady-state distribution. The proof is purely algebraic and is based on some simple properties of the tensor product. The result generalizes many known theorems on product form of queueing networks.