化简非对称选择 Petri 网的合成
形式语言与自动机理论
2019-11-25 v2 计算复杂性
数据结构与算法
摘要
若一个 Petri 网中任一库所的后集（消耗其令牌的变迁）至多一个，则称其为无选择网；若任意两个库所的后集相等或不相交，则称其为（扩展）自由选择（EFC）网。非对称选择（AC）对 EFC 进行扩展，使得两个库所也可具有一个后集包含于另一个后集的情况。在化简 AC 网中，这种包含受到限制：若后集既非不相交也非相等，则一个是单元素集，另一个恰有两个变迁。Petri 网合成的目标是：在某一目标类中找到一个无标号 Petri 网，其可达图同构于给定的有限标号迁移系统（lts）。无选择网具有强性质，常可轻易判断合成何时会失败或至少加速合成。以 EFC 为目标类时，仅有少数性质可预先检查，且似乎没有降低合成复杂度的捷径（相较于任意 Petri 网）。对于 AC 网，目前根本不知晓任何合成过程。我们在此展示如何合成到化简 AC 网的一个超类（不包含完整 AC 网类）。
引用
@article{arxiv.1911.09133,
title = {Synthesis of Reduced Asymmetric Choice Petri Nets},
author = {Harro Wimmel},
journal= {arXiv preprint arXiv:1911.09133},
year = {2019}
}
备注
27 pages, 10 figures, V2 due to font problem with ulsy.sty (one font symbol had been erroneously replaced with a greek Psi by LiveTeX)