Peter Massuthe, Daniela Weinberg. Fiona: A Tool to Analyze Interacting Open Nets. In Niels Lohmann, Karsten Wolf, editors, 15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen und Werkzeuge für Petrinetze, AWPN 2008, Rostock, Germany, September 26-27, 2008. Proceedings. Volume 380 of CEUR Workshop Proceedings, pages 99-104, CEUR-WS.org, 2008. [doi]
Abstract is missing.