LRI Rapport de Recherche No. 605. Laboratoire de Recherche en Informatique, Universite de Paris-Sud, Centre d'Orsay, France, October 1990.
Abstract: The authors present a formalisation of actors by colored Petri nets. In order to do that, they 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 they discuss some other possibilities for deriving a colored Petri net, and they put this formalisation in perspective with other works.
Keywords: behaviour formalization (of) actor(s) (by) coloured net(s); structural description (of) actor(s); static system.