Aggregation and disaggregation through insensitivity in stochastic Petri nets

Efficient descriptor-vector multiplications in stochastic automata networks

Journal of the ACM (JACM)

General distributions in process algebra

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

Aggregation and Disaggregation in Product Form Queueing Petri Nets

PNPM '97 Proceedings of the 6th 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