Christoph Lindemann DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets. 3-21 1995 22 Perform. Eval. 1 db/journals/pe/pe22.html#Lindemann95