In: Desel, J.; Kemper, P.; Kindler, E.; Oberweis, A.: Forschungsbericht, No. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 19-24. Universität Dortmund, Fachbereich Informatik, 1998.
Abstract: The paper presents APNNed, a component of the APNN toolbox that allows editing, visualization, and debugging of colored Petri nets. It features place and transition refinement and simulation breakpoints.