Petri Nets 2017: Supplementary material for submission 29

Find the measurement details on GitHub: https://docs.inf.mit.bme.hu/turnout-stochastic-analysis/benchmark-data/PN2017-PrioritySaturation/PrioritySaturation.html