TY - RPRT T1 - Petri net tools - a comparative study T2 - Technische Universität Berlin / Fachbereich Informatik: Forschungsberichte des Fachbereiches Informatik ; Bericht-Nr. [19]97,4 Y1 - 2012 UR - https://opus4.kobv.de/opus4-fhbrb/frontdoor/index/index/docId/208 ER -