Deterministisch-stochastische Petri-netze (dspns) by Petr Pavlov