@inproceedings{HeinerSchwarickWegener, author = {Heiner, Monika and Schwarick, Martin and Wegener, Jan-Thierry}, title = {Charlie - an extensible Petri net analysis tool}, series = {Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings}, booktitle = {Application and Theory of Petri Nets and Concurrency, 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings}, publisher = {Springer International Publishing}, address = {Cham}, isbn = {978-3-319-19487-5}, doi = {10.1007/978-3-319-19488-2_10}, pages = {200 -- 211}, language = {en} }