Markovian Petri Nets protocols with product form solution

Introducation to stochastic Petri nets

Lectures on formal methods and performance analysis

Exploiting structure in solution: decomposing compositional models

Lectures on formal methods and performance analysis

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

IEEE Transactions on Software Engineering

On the success of stochastic Petri nets

PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models

Aggregation and Disaggregation in Product Form Queueing Petri Nets

PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models

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

Deficiency Zero Petri Nets and Product Form

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets

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

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

A P- and T-invariant characterization of product form and decomposition in stochastic Petri nets

Performance Evaluation

Tackling continuous state-space explosion in a Markovian process algebra

Theoretical Computer Science