Stochastic Petri net semantics for stochastic process algebra (1995)

by M Ribaudo
Venue:In: Proc of the 6th int workshop on Petri nets and performance models (PNPM’95