By Topic

Modelling actor programs using Predicate/Transition nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Coscas, P. ; Commissariat a l''Engie Atomique, Gif sur Yvette, France ; Fouquier, G. ; Lanusse, A.

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

Published in:

Parallel and Distributed Processing, 1995. Proceedings. Euromicro Workshop on

Date of Conference:

25-27 Jan 1995