In: Aarts, E.H.L.; et al.: Lecture Notes in Computer Science, Vol. 506; PARLE'91, Vol. 2, Parallel Languages. Proceedings of the Conference on Parallel Architectures and Languages Europe, 1991, Eindhoven, The Netherlands, pages 110-127. Berlin, Germany: Springer, 1991.
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 with the corresponding behavior. They give a sketch of the proof that the derived colored Petri net reflects the behavior of the corresponding actor program. They show how this formalisation allows a translation of a dynamic system into a static one. Finally they discuss some other possibilities for deriving a colored Petri net.
Keywords: actor behaviour; coloured net; actor program; dynamic system translation (into) static system.