论文部分内容阅读
为了使Petri网与SDG(Signed Directed Graph)结合的建模方法适用于复杂间歇过程,提出一种改进的建模方法。首先将Petri网中的库所、变迁、托肯分类并赋予新的物理意义,使其更好地描述同步、循环特性;另外提出一种基于标准表的Petri网与SDG模型的连接机制;论述了模型的自动推理过程;最后将模型应用于某工业生产过程,得出HAZOP分析结果。改进后的模型能够更好地适用于具有同步、循环特性的复杂间歇生产过程,且模型简洁、有效,克服了原间歇模型仅适用于简单间歇过程的不足。