For the most recent entries see the Petri Nets Newsletter.

The Petri Net Kernel: an INA Pilot.

Kindler, Ekkart; Oschmann, Frank

In: Desel, J.; Kemper, P.; Kindler, E.; Oberweis, A.: Forschungsbericht, No. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 62-66. Universität Dortmund, Fachbereich Informatik, 1998.

Abstract: A program is discussed that allows to integrate the INA analysis tool with the Petri Net Kernel. The tool 'expect' is used to parse the textual output of INA and to control its behaviour.


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

Back to the Petri Nets Bibliography