机译:使用彩色Petri网验证核电厂一次到二次泄漏的安全程序
coloured petri nets; nuclear power plants; verification of safety procedures;
机译:使用Petri网验证核电厂的安全关键和控制系统
机译:使用Petri网验证核电站安全关键和控制系统
机译:用模糊有色Petri网开发核电厂自动化操作程序系统
机译:概率安全评估的Petri净建模及其在坎普核电站空气锁系统中的应用
机译:核电厂安全验证应用的不确定度量化。
机译:使用定时彩色培养网的Covid-19大流行病中心脏诊所患者工作流程的模拟与改进
机译:使用彩色Petri网验证核电厂的一次到二次泄漏安全程序
机译:WWER-440型213核电站的实验设计验证。参考工厂:Bohunice V2(斯洛伐克)。关于评估WWER-440 213型核电厂安全方面的原子能机构技术合作项目RER / 9/004的报告