@inproceedings{HeinerSchwarickWegener2017, author = {Monika Heiner and Martin Schwarick and Jan-Thierry Wegener}, title = {Charlie - an extensible Petri net analysis tool}, booktitle = {Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings}, pages = {200 -- 211}, doi = {10.1007/978-3-319-19488-2_10}, url = {http://link.springer.com/chapter/10.1007/978-3-319-19488-2_10}, year = {2017}, }