Behavioural Notions for Elementary Net Systems
DOI:
https://doi.org/10.7146/dpb.v18i281.6658Abstract
We study the relationships between a number of behavioural notions that have arisen in the theory of distributed computing. In order to sharpen the understanding of these relationships we apply the chosen behavioural notions to a basic net-theoretic model of distributed systems called elementary net systems. The behavioural notions that are considered here are trace languages, non-sequential processes, unfoldings and event structures.The relationships between these notions are brought out in the process of establishing that for each elementary net system, the trace language representation of its behaviour agrees in a strong way with the event structure representation of its behaviour.
Downloads
Published
1989-08-01
How to Cite
Nielsen, M., Rozenberg, G., & Thiagarajan, P. S. (1989). Behavioural Notions for Elementary Net Systems. DAIMI Report Series, 18(281). https://doi.org/10.7146/dpb.v18i281.6658
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.