In: Desel, J.; Kemper, P.; Kindler, E.; Oberweis, A.: Forschungsbericht, No. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 50-54. Universität Dortmund, Fachbereich Informatik, 1998.
Abstract: The INA analysis tool is integrated with the PEP tool. The paper hints at the capabilities of the INA system and briefly sketches the architecture and the graphical user interface of the obejct-oriented PEP interface.