机译:使用Petri网的计算机控制系统的基于印章危害分析
School of Computer Science and Engineering Beihang University;
School of Computer Science and Engineering Beihang University;
School of Computer Science and Engineering Beihang University;
Hazard analysis; Petri nets; STAMP; System safety;
机译:使用Petri网的计算机控制系统的基于印章危害分析
机译:使用Petri网自动进行批生产操作的危害分析
机译:通过时空耦合安全约束的改进定时有色Petri网进行危害分析
机译:基于Petri网的计算机控制系统中与零件相互作用相关的危害识别方法
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:基于结构模块和定时Petri网预测系统动力学的准稳态分析:胰岛素受体的生命周期
机译:通过改进的定时有色petri网进行危险性分析,具有时空耦合安全约束