Author:
Nielsen Mogens,Rozenberg Grzegorz,Thiagarajan P. S.
Abstract
<p>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.</p>
Publisher
Det Kgl. Bibliotek/Royal Danish Library
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Constraints and extensions in a Calculus of EN systems;Advances in Petri Nets 1993;1993
2. Trace Nets;Semantics: Foundations and Applications;1993
3. A trace semantics for Petri Nets;Automata, Languages and Programming;1992
4. A survey of equivalence notions for net based systems;Lecture Notes in Computer Science;1992
5. On distributed languages and models for concurrency;Lecture Notes in Computer Science;1992