Compositional high-level Petri net semantics of a parallel programming language with procedures

This paper exhibits the extension of a formal semantics of a parallel programming language, based on high-level Petri nets, in order to cope with procedures. The solution is based on refinement and synchronization operations of high-level Petri nets. It inherits thus properties of the Petri net mode...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Science of computer programming Jg. 41; H. 3; S. 195 - 240
1. Verfasser:	Klaudel, Hanna
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.11.2001
Schlagworte:	High-level Petri nets M-nets Parallel programming language Procedures Refinement Semantics High-level Petri nets Refinement Procedures M-nets Semantics Parallel programming language
ISSN:	0167-6423, 1872-7964
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!