An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models

Comments on "Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets"

IEEE Transactions on Computers

A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs

IEEE Transactions on Software Engineering

Stochastic modeling using DSPNexpress

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

New Primitives for Interlaced Memory Policies in Markov Regenerative Stochastic Petri Nets

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

Performability analysis of clustered systems with rejuvenation under varying workload

Performance Evaluation