Gianfranco Ciardo, Christoph Lindemann. Analysis of deterministic and stochastic Petri nets. In Proceedings of the 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, Toulouse, France, October 19-22, 1993. pages 160-169, IEEE, 1993. [doi]
Abstract is missing.