具有循环可达图的加权标记图的高效合成及其拓展
数据结构与算法
2019-11-01 v1
摘要
在以往研究中，已发展出多种从标记转移系统（LTS）合成 Petri 网的方法，通常对网与 LTS 施加结构约束。本文关注加权标记图（WMG）与无选择（CF）Petri 网——二者均为每个库所至多有一个输出的网的加权子类；WMG 另有每个库所至多有一个输入的约束。我们给出新的条件以检验是否存在可达图同构于给定循环 LTS（即构成单一环）的 WMG；我们针对这些约束开发了两种新的多项式时间合成算法：第一种基于 LTS（经典合成），第二种基于向量（弱合成）且在一般情形下更高效。我们表明，在三字母字母表情形下，我们的条件亦适用于 CF 合成，并讨论了将其拓展至任意字母表上 CF 合成的困难。
引用
@article{arxiv.1910.14387,
title = {Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond},
author = {Raymond Devillers and Evgeny Erofeev and Thomas Hujsa},
journal= {arXiv preprint arXiv:1910.14387},
year = {2019}
}
备注
25 pages