从带约束的标记转移系统综合加权标记图：一种几何方法
形式语言与自动机理论
2019-11-04 v1
摘要
近期的研究探讨了分析 Petri 网以及仅从具有两个标记（转移）的标记转移系统（LTS）综合 Petri 网的问题。在本文中，我们通过为加权标记图（WMG）的综合提供新的条件来扩展这些工作，WMG 是一类众所周知且有用的加权 Petri 网，其中每个库所至多有一个输入和一个输出。这些新条件中，部分不限制标记数量；其余的考虑至多 3 个标记。我们研究了额外的约束：当 LTS 为有限或无限，以及循环或非循环时。我们表明，为 3 个标记开发的条件之一不能推广到 4 个或 5 个标记。此外，我们从几何上处理了具有任意数量标记的有限非循环 LTS 的 WMG 可解性。
引用
@article{arxiv.1911.00474,
title = {Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach},
author = {Raymond Devillers and Evgeny Erofeev and Thomas Hujsa},
journal= {arXiv preprint arXiv:1911.00474},
year = {2019}
}
备注
22 pages