Abstract:

We present an extension of the class of cause-effect structures by coloured tokens. As an example of coloured c-e structure we use the well-known problem of dining philosophers. Relationships between the classes of coloured c-e structures and coloured Petri Nets introduced by K. Jensen are investigated.

DOI:
Issue
Pages:
77-92
File:
ustimenko.pdf (1.34 MB)