Rob Jones, Gianfranco Ciardo: On Phased Delay Stochastic Petri Nets: Definition and an Application. PNPM 2001: 165-174