基于IDEF0的CIMS底层控制Petri网模型的自动生成方法

摘要

ＩＤＥＦ０广泛用于ＣＩＭＳ的功能说明，Ｐｅｔｒｉ网适用于对离散事件动态系统建模，在ＣＩＭＳ中，两者结合起来，对于ＣＩＭＳ底层控制、生产调度，动态仿真都具有重要意义。文中研究了ＩＤＥＦ０的形式化描述方法，讨论了有关概念，给出了由ＩＤＥＦ０生成Ｐｅｔｒｉ网的形式化方法，并用一例说明其整体思想。