Jan Schlüter, Lawrence Cabac, Daniel Moldt. Adding Runtime Net Manipulation Features to MulanViewer. 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 87-92, CEUR-WS.org, 2008. [doi]
Abstract is missing.