不可控变迁下Petri网的合法标记集到可接受标记集的转换
摘要：Petri网中解决含有不可控制转换的禁止状态问题的关键步骤是线性约束转换。本文研究了给定这样一个网的合法标记集合到其可接受标记集合的等效转换。首先，定义了逃逸标记集合和变换标记集合的概念。基于这些概念，给出了计算可接受标记集合和变换标记集合的两个算法，为线性约束的等效转换建立了理论基础。其次，建立了给不可控转换Petri网施加的线性约束的析取的等效转换理论。第三，给出了决定转换优先级的两个规则。最后，通过两个例子说明了从给定的线性约束转换为可以描述其整个可接受标记集合的逻辑表达式的转换过程。
作者：ShouGuang Wang, Dan You, MengChu Zhou, and Carla Seatsu
论文ID：1501.04777
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2015-01-21