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