...
机译:使用状态令牌Petri Net对计算机化过程执行进行建模以对过程流进行正式验证
Central Research Institute, Korea Hydro and Nuclear Power Co., Ltd, 25-1 Jang-dong, Yuseong-gu, Daejeon, 305-343,Republic of Korea;
Department of Nuclear and Quantum Engineering, Korea Advanced Institute of Science and Technology,373-1 Guseong-dong, Yuseong-gu, Daejeon, 305-701, Republic of Korea;
computerized procedure system; digital MCR; operator supporting system; workflow management; colored petri net; formal verification; digital quality assurance;
机译:包含操作者对过程执行流的干扰的计算机化过程形式化验证的状态令牌Petri网建模方法
机译:一种模型驱动的工程方法,使用Petri网正式验证BPMN模型
机译:计算机化程序执行中的增量目标成就模型
机译:使用混合Petri网对过程系统中的操作程序进行建模,安全验证和优化
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:使用彩色Petri网验证核电厂的一次到二次泄漏安全程序
机译:基于sturm定理的单变量多项式计算的形式验证决策程序。