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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Science of computer programming Ročník 41; číslo 3; s. 195 - 240
Hlavný autor: Klaudel, Hanna
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier B.V 01.11.2001
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia: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