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.