Open AccessElementary transition systems
Author(s) -
Mogens Nielsen,
Grzegorz Rozenberg,
P. S. Thiagarajan
Publication year - 1990
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v19i310.6701
Subject(s) - concurrency , formalism (music) , subclass , computer science , simple (philosophy) , theoretical computer science , transition system , transition (genetics) , distributed computing , epistemology , chemistry , medicine , art , musical , philosophy , biochemistry , antibody , immunology , visual arts , gene
Transition systems are a simple and powerful formalism for explaining the operational behaviour of models of concurrency. They provide a common framework for investigating the interrelationships between different approaches to the study of distributed systems. Hence an important question to be answered is: which subclass of transition systems corresponds to a particular model of distributed systems? In this paper we provide an answer to this question for elementary net systems.