In: Lecture Notes in Computer Science, Vol. 506; PARLE'91, Parallel Architectures and Languages Europe, Volume 2: Parallel Languages, Eindhoven, NL, June 10-13, 1991, pages 110-127. Berlin; Heidelberg; New York: Springer-Verlag, 1991.
Abstract: In this paper we present a formalisation of actors by colored Petri nets. In order to do that, we give a structured description of an actor program which makes it easy to obtain a colored Petri net with the corresponding behavior. We give a sketch of the proof that the derived colored Petri net reflects the behavior of the corresponding actor program. We show how this formalisation allows a translation of dynamic system into static one which has some applications. Finally we discuss some other possibilities for deriving a colored Petri net, and we put this formalisation in perspective other works. Keywords: actors, parallel languages, dynamic systems, static systems, colored Petri nets.