Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets
Over-Approximative Petri Net Synthesis for Restricted Subclasses of Nets
复制标题
网络受限子类的过近似 Petri 网综合
DOI：
10.1007/978-3-319-77313-1_23
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
U. Schlachter
中科院分区：
文献类型：
--
作者：
U. Schlachter
我们证明了，给定一个有限的LTS，有一个最小的有界Petri网过近似根据结构的前序，并提出了一个算法来计算这种过近似。这一结果是扩展到子类的网，即纯Petri网，纯Petri网，T-网，标记图，加上这些属性的组合。
We show that, given a finite lts, there is a minimal bounded Petri net over-approximation according to a structural preorder and present an algorithm to compute this over-approximation. This result is extended to subclasses of nets, namely pure Petri nets, plain Petri nets, T-nets, and marked graphs, plus combinations of these properties.
模态转换系统的 k 有界 Petri 网综合
DOI：
10.4230/lipics.concur.2017.6
发表时间：
2017
期刊：
影响因子：
--
作者：
U. Schlachter;H. Wimmel
通讯作者：
H. Wimmel
影响因子：
0.6
作者：
Best, Eike;Devillers, Raymond
通讯作者：
Devillers, Raymond