过渡系统的关节和产物及其在Petri网合成中的应用
摘要：通过定义标记转换系统的分解，可以加快Petri网的合成速度，使得每个组件的合成与原始系统的合成条件相同。然后，搜索对应的Petri网组合运算符，将各个组件的解组合成原始系统的解。本文提出了两种这样的技术，可以进行组合使用：乘积和关节。它们还可以用于结构化转换系统，并分析在应用于这些结构时合成技术的性能。
作者：Raymond Devillers
论文ID：2111.00202
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-06-22