Center for Robotics Manuf. Syst., Kentucky Univ., Lexington, KY, USA;
机译:计算受控Petri网的禁止状态可达性函数的界限
机译:Petri网的k阶系统的可达(禁止,活动和死锁)状态的枚举
机译:一类受控Petri网的禁止状态问题
机译:计算受控Petri网的禁态可达性函数的界限
机译:整数优化的几何方法及其在Petri网可达性分析中的应用。
机译:智能Petri网温度控制框架可降低建筑能耗
机译:论强迫转移时间petri网的影响网络和禁止状态控制