Hoon Choi Vidyadhar G. Kulkarni Kishor S. Trivedi Transient Analysis of Deterministic and Stochastic Petri Nets. 166-185 1993 conf/apn/1993 Application and Theory of Petri Nets db/conf/apn/apn93.html#ChoiKT93 http://dx.doi.org/10.1007/3-540-56863-8_46