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

Full description

Saved in:
Bibliographic Details
Published in:Science of computer programming Vol. 41; no. 3; pp. 195 - 240
Main Author: Klaudel, Hanna
Format: Journal Article
Language:English
Published: Elsevier B.V 01.11.2001
Subjects:
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 Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography: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