机译:齐次同步选择Petri网的可达性和发射序列
Department of Management and Information Science National Chengchi University Taipei, 116 Taiwan;
petri nets; synchronized choice nets; reachability; liveness; synthesis; verification; inconsistent pair;
机译:使用同步Petri网在一类无界系统上同步序列
机译:抑制剂-弧形Petri网的最大合法射击序列问题的可解性无权/加权无冲突Petri网
机译:抑制剂-弧形Petri网的最大合法射击序列问题的可解性无权/加权无冲突Petri网
机译:对应于界长可见转变序列的培养净可达性空间的线性表征及其对共循环,准活跃和强烈可逆的过程资源网结构分析的影响
机译:整数优化的几何方法及其在Petri网可达性分析中的应用。
机译:院外心脏骤停后选择医院-一个影响深远的决定:在德国大城市的一项研究
机译:用数学规划技术查找培养网可达性问题的射击序列的方法
机译:自由选择petri网中可达死区的并行计算