On the Product Form Solution for Stochastic Petri Nets

Exploiting structure in solution: decomposing compositional models

Lectures on formal methods and performance analysis

Approximate Throughput Computation of Stochastic Marked Graphs

IEEE Transactions on Software Engineering

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

IEEE Transactions on Software Engineering

A structure based decomposition approach for GSPN

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

On the success of stochastic Petri nets

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

A comparison of performance evaluation process algebra and generalized stochastic Petri nets

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

Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets

valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools

Deficiency Zero Petri Nets and Product Form

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

Mean-value analysis for a class of Petri nets and batch-movement queueing networks with product-form equilibrium distributions

Mathematical and Computer Modelling: An International Journal

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

Performance Evaluation