Pre-synthesis of Petri nets based on prime cycles and distance paths
Pre-synthesis of Petri nets based on prime cycles and distance paths
复制标题
基于素数环和距离路径的Petri网预合成
DOI：
10.1016/j.scico.2017.07.005
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
R. Devillers
中科院分区：
文献类型：
--
作者：
E. Best;R. Devillers
本文提出了一种快速失效的预综合方法，支持从标记的变迁系统合成非标记的Petri网，同时专注于无选择系统类。这样的系统尤其在硬件设计和制造中具有应用。确定了任意选择自由Petri网可合成变迁系统必须满足的必要条件。它们包括素循环性质和距离路径性质，以及各种形式的决定论。在合成之前检查这些性质可以早期检测不可合成的过渡系统，并产生关于合成失败原因的有意义的消息。这些性质之间的各种相互依赖关系将被揭示。素循环性质和距离路径性质将被证明隐含其他性质。这允许以有效的方式组织预合成，因为如果已经检查了隐含的属性，则不需要检查隐含的属性。
This paper proposes a fail-fast pre-synthesis method supporting the synthesis of unlabelled Petri nets from labelled transition systems, while focusing on the class of choice-free systems. Such systems have applications, amongst others, in hardware design and in manufacturing. Necessary conditions which must be satisfied by any choice-freely Petri net synthesisable transition system will be identified. They include the prime cycle property and the distance path property, as well as various forms of determinism. Checking such properties before synthesis allows the early detection of non-synthesisable transition systems and the production of meaningful messages about the reasons of synthesis failure.Various interdependencies between these properties will be revealed. The prime cycle property and the distance path property will be shown to imply other ones. This allows pre-synthesis to be organised in an efficient way, because implied properties do not need to be checked if the properties they are implied by are already checked.
登录
查看更多内容
平等冲突系统中的活跃度和母国
DOI：
--
发表时间：
1993
期刊：
Application and Theory of Petri Nets
影响因子：
--
作者：
Enrique Teruel;M. Suárez
通讯作者：
M. Suárez
DOI：
10.1016/s0304-3975(96)00219-8
发表时间：
1997-10
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Éric Badouel;L. Bernardinello;P. Darondeau
通讯作者：
Éric Badouel;L. Bernardinello;P. Darondeau
论二元词 Petri 网可解
DOI：
--
发表时间：
2015
期刊：
ATAED@Petri Nets/ACSD
影响因子：
--
作者：
Kamila Barylska;E. Best;Evgeny Erofeev;Lukasz Mikulski;Marcin Piatkowski
通讯作者：
Marcin Piatkowski
DOI：
10.1109/3468.553226
发表时间：
1997-01-01
影响因子：
--
作者：
Teruel, E;Colom, JM;Silva, M
通讯作者：
Silva, M
影响因子：
0.6
作者：
Best, Eike;Devillers, Raymond;Schlachter, Uli
通讯作者：
Schlachter, Uli