loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
3rd Euromicro Workshop on Parallel and Distributed Processing
Modelling actor programs using Predicate/Transition nets
San Remo, Italy
January 25-January 27
ISBN: 0-8186-7031-2
ASCII Text
x 
 
P. Coscas, G. Fouquier, A. Lanusse, "Modelling actor programs using Predicate/Transition nets," Parallel, Distributed, and Network-Based Processing, Euromicro Conference on, pp. 199, 3rd Euromicro Workshop on Parallel and Distributed Processing, 1995.
 
 
BibTex
x
 
@article{ 10.1109/EMPDP.1995.389129,
author = {P. Coscas and G. Fouquier and A. Lanusse},
title = {Modelling actor programs using Predicate/Transition nets},
journal ={Parallel, Distributed, and Network-Based Processing, Euromicro Conference on},
volume = {0},
year = {1995},
issn = {1066-6192},
pages = {199},
doi = {http://doi.ieeecomputersociety.org/10.1109/EMPDP.1995.389129},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
TI - Modelling actor programs using Predicate/Transition nets
SN - 1066-6192
SP
EP
A1 - P. Coscas,
A1 - G. Fouquier,
A1 - A. Lanusse,
PY - 1995
KW - Petri nets; data structures; parallel programming; parallel machines; actor programs; Predicate/Transition nets; concurrent computation; high-level Petri nets; data structures; formalism; translation scheme; PRAL-M; PTN; debugging; visualizing
VL - 0
JA - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
ER -
 
P. Coscas, Commissariat a l'Engie Atomique, Gif sur Yvette, France
G. Fouquier, Commissariat a l'Engie Atomique, Gif sur Yvette, France
A. Lanusse, Commissariat a l'Engie Atomique, Gif sur Yvette, France
The actor model is a model of concurrent computation which is powerful enough to represent all the operations needed to exploit parallel and distributed machines. In this paper, we propose to model actor programs with Predicate/Transition nets. Predicate/Transition nets are high-level Petri nets with data structures instead of tokens and predicates associated with transitions. This formalism permits to express the operational semantics of an actor program in its entirety: a translation scheme from the actor language PRAL-M to the Predicate/Transition nets language PTN is described. This formalism which has both a textual and a graphical representation, is also useful for debugging and visualizing actor programs. Using this scheme, a prototype has been implemented to translate actor programs into Predicate/Transition nets and to debug them by simulating their execution in a step by step mode.
Index Terms:
Petri nets; data structures; parallel programming; parallel machines; actor programs; Predicate/Transition nets; concurrent computation; high-level Petri nets; data structures; formalism; translation scheme; PRAL-M; PTN; debugging; visualizing
Citation:
P. Coscas, G. Fouquier, A. Lanusse, "Modelling actor programs using Predicate/Transition nets," pdp, pp.199, 3rd Euromicro Workshop on Parallel and Distributed Processing, 1995
Usage of this product signifies your acceptance of the Terms of Use.