In: Burkhard, H.-D.; Czaja, L.; Starke, P.: Informatik-Berichte, No. 110: Workshop Concurrency, Specification and Programming, 28-30 September 1998, pages 257-267. Berlin: Humboldt-Universität, 1998.
Also in: Information Processing Letters, Vol. 68, No. 5, pages 219-225. 1998.
Abstract: We suggested the extension of the class of cause-effect structures by colored tokens. As an example of a colored cause-effect structure we use the well-known dining philosophers' problem. Relationships between the classes of colored cause-effect structures and colored Petri nets introduced by Jensen are investigated.
Keywords: colored Petri nets, colored cause-effect structures, formal semantics.