摘要
在众多的系统建模方法和语言中，用着色Ｐｅｔｒｉ网（ Ｃｏｌｏｒｅｄ Ｐｅｔｒｉ Ｎｅｔ，简写ＣＰＮ）建立的模型是可执行的，更有利于动态仿真，非常适合建模具有同步、并发、资源共享的大系统．文章介绍了ＣＰＮ的基本概念及建模特性，阐明了ＣＰＮ的实用价值及应用发展前景，并对一个罕事系统一一空对空导弹攻击系统进行ＣＰＮ的图形形式的建模分析，并用Ｄｅｓｉｇｎ／ＣＰＮ进行仿真验证．
Colored Petri Nit is a modeling language which is very appropriately applied in the cases of concurrence, synchronization and resource sharing. The advantages of executable model makes it more excellent for dynamic system simulation. We describe the foundation and application of CPN. Some features of CPN modal arc introduced and the future of CPN is predicted. Then we apply CPN and Design/CPN in the modeling and simulation for an air-to-air missile engagement system.
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第1期30-32,共3页
Computer Engineering
基金
预研基金资助项目!(98J6.3.4.JW0508)
