For the most recent entries see the Petri Nets Newsletter.

GRAPH. Eine auf Petri-Netzen basierende Entwicklungsumgebung für verteilte Systeme.

Schepers, J.

In: 90; Proceedings of the Conference on Programmierumgebungen für funktionale und logische Sprachen, 1990, Bad Honnef, Germany: Fachberichte Informatik, No. 8, pages 19-25. Koblenz-Landau, Germany: Universität, 1990.

Abstract: Das GRAPH-System bietet eine Entwicklungsumgebung für verteilte Systeme. Das Verhalten einzelner Prozesse wird in einer funktionalen Sprache spezifiziert. Die Spezifikation der ProzeÑstruktur erfolgt graphisch unter Verwendung einer Petri-Netz-ähnlichen Darstellung. Die Semantik der ProzeÑkonstrukte ist ebenfalls über Petri-Netze definiert. Diese Netze können mit Hilfe des in GRAPH integrierten Analysetools auf strukturelle Eigenschaften untersucht werden. Die Ausführung von ProzeÑsystemen erfolgt direkt aus dem GRAPH-System unter interaktiver Kontrolle.

Keywords: net-based programming environment (for) distributed system; functional language; net-based process semantics; GRAPH-integrated net tool; interactive control.


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

Back to the Petri Nets Bibliography