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

Authors:
R. J. Boucherie
Affiliations:
-
Venue:
IEEE Transactions on Software Engineering
Year:
1994

Citing 11
Cited 27

Probabilistic Models of Database Locking: Solutions, Computational Algorithms, and Asymptotics

Journal of the ACM (JACM)
Product form in networks of queues with batch arrivals and batch services

Queueing Systems: Theory and Applications
Service stage Petri net models with product form solution

Queueing Systems: Theory and Applications
Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets

IEEE Transactions on Software Engineering
Embedded Processes in Stochastic Petri Nets

IEEE Transactions on Software Engineering
Markovian Petri Nets protocols with product form solution

Performance Evaluation
Aggregation and disaggregation through insensitivity in stochastic Petri nets

Performance Evaluation
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers

Journal of the ACM (JACM)
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Colored Stochastic Petri Nets

International Workshop on Timed Petri Nets
On the Product Form Solution for Stochastic Petri Nets

Proceedings of the 13th International Conference on Application and Theory of Petri Nets

Efficient descriptor-vector multiplications in stochastic automata networks

Journal of the ACM (JACM)
Exploiting structure in solution: decomposing compositional models

Lectures on formal methods and performance analysis
Product form solution for an insensitive stochastic process algebra structure

Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Compositional reversed Markov processes, with applications to G-networks

Performance Evaluation
Automated product-forms with Meercat

SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Product form for stochastic automata networks

Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
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
An algebraic condition for product form in stochastic automata networks without synchronizations

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

ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications
Compositional Model Checking of product-form CTMCs

Electronic Notes in Theoretical Computer Science (ENTCS)
Short communication: Product-forms and functional rates

Performance Evaluation
Complex synchronizations in Markovian models: a tensor-based proof of product form

Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Process Algebraic Non-product-forms

Electronic Notes in Theoretical Computer Science (ENTCS)
A general result for deriving product-form solutions in markovian models

Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
A fluid analysis framework for a Markovian process algebra

Theoretical Computer Science
Collaboration of discrete-time Markov chains: Tensor and product form

Performance Evaluation
Product form approximations for communicating Markov processes

Performance Evaluation
State-dependent rates and semi-product-form via the reversed process

EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Product-form solution in PEPA via the reversed process

Network performance engineering
Hierarchically constructed Petri-nets and product-forms

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Performance engineering and stochastic modelling

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Markovian queueing network with complex synchronizations: Product form and tensor

Performance Evaluation
Methodological construction of product-form stochastic Petri nets for performance evaluation

Journal of Systems and Software
Operational semantics for product-form solution

EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Operational semantics for product-form solution

EPEW'12 Proceedings of the 9th European conference on Computer Performance Engineering
Exploiting product forms solution techniques in multiformalism modeling

Electronic Notes in Theoretical Computer Science (ENTCS)
Tackling continuous state-space explosion in a Markovian process algebra

Theoretical Computer Science

Quantified Score

Hi-index	0.01

Visualization

Abstract

This paper shows that some of the recently obtained product form results for stochastic Petri nets can be obtained as a special case of a simple exclusion mechanism for the product process of a collection of Markov chains.