General

The Stochastic Petri Net models are available here: https://github.com/kris7t/stochastic-analysis/tree/master/models

Tool is available here: http://petridotnet.inf.mit.bme.hu/releases/PetriDotNet-1.5-beta1.exe

User manual: http://petridotnet.inf.mit.bme.hu/releases/pdn1_manual.pdf

SNR 2016

The Stochastic Petri Net models are available here: https://github.com/kris7t/stochastic-analysis/tree/master/models/SNR2016

Additional information about the models is available at the home page of the Model Checking Contest: http://mcc.lip6.fr/models.php

IDRSTAB

Detailed figure for the changes in the residual for different parameters:

Detailed figure for the results of IDRSTAB for different parameters: