...
机译:带抑制剂弧的Petri网合法射击序列问题的时间复杂度分析
Graduate School of Engineering, Hiroshima University, Higashi-hiroshima-shi, 739-8527 Japan;
petri nets; inhibitor-arcs; legal firing sequences; pseudo-polynomial time algorithms; NP-hardness;
机译:抑制剂-弧形Petri网的最大合法射击序列问题的可解性无权/加权无冲突Petri网
机译:抑制剂-弧形Petri网的最大合法射击序列问题的可解性无权/加权无冲突Petri网
机译:基于过渡的生火活动来寻找定时Petri网的生火序列
机译:用离散庞特里亚金极小原理为Petri网的可到达性问题加标记找到合法的触发序列
机译:组成分层时间Petri网的验证方法。
机译:基于结构模块和定时Petri网预测系统动力学的准稳态分析:胰岛素受体的生命周期
机译:使用定时弧petri网的序列图测试用例规范和虚拟集成分析