Department of Computer Science and Engineering University of California, Riverside Riverside, CA, 92521, USA;
机译:具有半线性可达性集的Petri网的展开
机译:具有半线性可达性集的Petri网展开
机译:Petri网的层次可达性图生成
机译:可达性设定为Petri网:可以蛮力聪明吗?
机译:整数优化的几何方法及其在Petri网可达性分析中的应用。
机译:智能Petri网温度控制框架可降低建筑能耗
机译:Petri网的可到达性集生成:蛮力可以聪明吗
机译:petri网可达性集强连通性的可判定问题。