Colored Cause-Effect Structures

Abstract

We suggested the extension of the class of cause-effect structures by colored tokens. As an example of a colored causeeffect structure we use the well-known dining philosophers’ problem. Relationships between the classes of colored cause-effect structures and colored Petri nets introduced by K. Jensen are investigated. 
DOI: 10.1016/S0020-0190(98)00174-4

1 Figure or Table

Topics

  • Presentations referencing similar topics