机译:基于线性规划的Petri网最优合法射击序列
机译:基于线性编程的方法在P / T Petri网中查找所有基本不变式的一些考虑
机译:基于线性编程的方法在P / T Petri网中查找所有基本不变式的一些考虑
机译:使用线性规划技术来查找培养率可达性问题的射击序列的新方法
机译:Petri网可达性分析的非循环变换技术。
机译:基于Petri网的分析技术在信号转导途径中的应用
机译:用数学规划技术查找培养网可达性问题的射击序列的方法
机译:用petri网技术补充角色模型法研究四槽机制数据新鲜度问题211