@techreport{HerajyLiuRohretal.2017, author = {Mostafa Herajy and Fei Liu and Christian Rohr and Monika Heiner}, title = {(Coloured) Hybrid Petri nets in Snoopy - user manual}, institution = {Institut f{\"u}r Informatik}, series = {Computer science reports / Institut f{\"u}r Informatik}, number = {2017,01}, year = {2017}, }