论文部分内容阅读
提出了一套基于图模型的建模方法，该模型以Petri网和符号有向图（SDG）为基础将模型分为上部和下部，加入操作点、控制库所、判断模块等模型元素，并结合间歇过程的特点，提出了关联变量、目标变量检查表、操作点检查表和关联变量检查表等概念。根据误开误关、过早过晚、步骤添加删除等误操作，对模型进行验证。验证结果表明，该模型解决了先前方法难以描述具体操作的缺陷，并且模型结构简单，具有整体性。不仅能够方便地描述3种不同类型的误操作，还能有效地对误操作进行风险辨识，具有一定的适用性。