摘要
在大型工程系统的建模与分析中,将系统的静态IDEF0模型转换为动态CPN模型的方法得到大量的应用,但是人工转换既繁琐也容易出错。该文在IDEF0和CPN模型的形式化表示分析的基础上,提出两种模型自动转换的一般步骤和方法。
In the practice of the modeling and analysis of the large-scale engineering system,transformation from the IDEF0 models,applied for the static descriptions of the systems,to the CPN models which describe the dynamic attributes of the systems have been widely applied.Usually the manual transformations are trivial and prone to making mistakes.Based on the formal analysis and representation of the IDEF0 and CPN models,a method is proposed to automate this process.
出处
《计算机与数字工程》
2012年第4期42-44,125,共4页
Computer & Digital Engineering
