Robert Zijal Gianfranco Ciardo Günter Hommel Discrete Deterministic and Stochastic Petri Nets. 103-117 1997 conf/mmb/1997 MMB db/conf/mmb/mmb97.html#ZijalCH97