@techreport{OPUS4-208, title = {Petri net tools - a comparative study}, institution = {Fachbereich Wirtschaft}, pages = {65 S.}, year = {2012}, }