For the most recent entries see the Petri Nets Newsletter.

Formalisation of the Behavior of Actors by Colored Petri Nets and some Applications.

Sami, Y.; Vidal-Naquet, G.

Rapport de Recherche 605, pages 1-25 pp.. Univ. de Paris-Sud, Centre d'Orsay, France, Laboratoire de Recherche en Informatique, October 1990.

Abstract: In this paper the authors present a formalisation of actors by colored Petri nets. In order to do that, the authors give a structural description of an actor program which makes it easy to obtain a colored Petri net that has the corresponding behavior. This formalisation allows a translation of actors system into a static system. Finally some other possibilities for deriving a colored Petri net are discussed.

Keywords: actor; coloured net; parallel language.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography