Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets

Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets
复制标题

DOI：
10.1007/3-540-12727-5_7
复制
发表时间：
1983-03
期刊：
--
影响因子：
--
通讯作者：
E. Best;M. W. Shields
E. Best;M. W. Shields
中科院分区：
其他
文献类型：
--
作者：
E. Best;M. W. Shields

文献摘要

被引文献

相似文献

在本文的第一部分中，我们建立了自由选择网和简单网的各种结构和行为定义的等价性。在第二部分中，我们描述了一类活的和安全的自由选择网的非序列行为的结果。
In the first part of this paper we establish the equivalence of a variety of structural and behavioural definitions for free choice nets and simple nets. In the second part we describe a result characterising the non-sequential behaviour of a class of live and safe free choice nets.