TY - CONF A1 - Heiner, Monika A1 - Schwarick, Martin A1 - Wegener, Jan-Thierry T1 - Charlie – an extensible Petri net analysis tool T2 - Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings Y1 - 2017 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/18036 UR - http://link.springer.com/chapter/10.1007/978-3-319-19488-2_10 SN - 978-3-319-19487-5 N1 - peer reviewed SP - 200 EP - 211 PB - Springer International Publishing CY - Cham ER -