论文部分内容阅读
IDEF0广泛用于CIMS的功能说明,Petri网适用于对离散事件动态系统建模,在CIMS中,两者结合起来,对于CIMS底层控制、生产调度,动态仿真都具有重要意义。文中研究了IDEF0的形式化描述方法,讨论了有关概念,给出了由IDEF0生成Petri网的形式化方法,并用一例说明其整体思想。