Monika Heiner, Martin Schwarick, Jan-Thierry Wegener. Charlie - An Extensible Petri Net Analysis Tool. In Raymond R. Devillers, Antti Valmari, editors, Application and Theory of Petri Nets and Concurrency - 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings. Volume 9115 of Lecture Notes in Computer Science, pages 200-211, Springer, 2015. [doi]
Abstract is missing.