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!
Beschreibung
Zusammenfassung: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 model, in particular the coherence with elementary Petri nets on which verification techniques are based. Furthermore, the approach formalizes nicely the intuition behind procedures and their parameters, while in the absence of procedures, our definition and the existing semantics coincide.
Bibliographie:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0167-6423
1872-7964
DOI:10.1016/S0167-6423(01)00004-1