...
机译:通过标记可达性图对逻辑Petri网进行属性分析
College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, China;
College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao 266590, China;
logic Petri nets; enabled condition; reachable marking graph; fairness; reversibility;
机译:使用分层基础可达性图标记Petri网中的估计
机译:彩色逻辑Petri网及其可达树的分析
机译:基于关联矩阵的逻辑Petri网可达性分析
机译:具有参数标记的P时间Petri网的可达性分析
机译:整数优化的几何方法及其在Petri网可达性分析中的应用。
机译:完全胸腔脊髓损伤患者灰质结构协方差网络的改变拓扑特性:曲线图理论网络分析
机译:Petri网可达性空间的基础标记表示及其在可达性问题中的应用
机译:具有公平约束的petri网线性时态逻辑性质模型检验。