Christoph Lindemann Axel Thümmler Transient Analysis of Deterministic and Stochastic Petri Nets with Concurrent Deterministic Transitions. 35-54 1999 36-37 Perform. Eval. 1-4 db/journals/pe/pe36.html#LindemannT99