For the most recent entries see the Petri Nets Newsletter.

Erreichbarkeitsgraphen von Produktnetzen und ihre Auswertung in PROLOG.

Nitsche, U.

Arbeitspapiere der GMD Nr. 330. St. Augustin Gesellschaft für Mathematik und Datenverarbeitung mbH, August 1988. In German.

Abstract: Die vorliegende Arbeit stellt einen Ansatz zur rechnergestützten Auswertung von Erreichbarkeitsgraphen dar. Die Arbeit behandelt das Problem, wie Anfragen an einen Erreichbarkeitsgraphen durch einen Rechner bearbeitet werden können, und es wird gezeigt, wie ein benutzbares Programm erstellt werden kann.


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

Back to the Petri Nets Bibliography