Analysis of discrete time deterministic and stochastic Petri nets - Zijal, Robert (1997)