机译:基于位置约束的Petri网中最小虹吸的枚举算法
Petri nets; computational complexity; search problems; Petri nets; computational complexity; deadlock avoidance; enumeration algorithm; place constraint; place-minimal siphon; problem partitioning; search problem; Deadlock avoidance; Petri nets (PNs); enumeration alg;
机译:使用CLP和SAT求解器枚举Petri网中的最小虹吸管:理论和实践上的复杂性
机译:基于矩阵半张量积的Petri网虹吸和最小虹吸的计算
机译:Petri网最小虹吸陷阱的提取算法及其在P不变性计算中的应用
机译:基于问题划分的普通Petri网中的最小虹吸管的完整枚举
机译:具有大量变量的贝叶斯网络结构基于约束的学习算法
机译:基于索引的子图匹配算法(ISMA):使用优化的搜索树在大型网络中进行快速子图枚举
机译:基于Siphon的严格最小的Siphon彩色Petri网络主管综合,具有不可靠的资源的自动化制造系统