For the most recent entries see the Petri Nets Newsletter.

PEPINA: INA Net Analysis in the PEP Environment.

Haar, Stefan

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography