论文部分内容阅读
本文介绍了ＣＩＭＯＳＡ建模框架和功能模型的组成结构，指出了Ｐｅｔｉｒ网方法是进行ＣＩＭＯＳＡ模型仿真和模型验证的有效手段。为了解决ＣＭＩＭＯＳＡ模型仿真和执行中出现的不确定性，资源共享和仿真传递问题，提出了一种扩懈的有以Ｐｅｔｒｉ网方法－控制和集成网方法，并给出它的定义和符号表示形式，在此基础上研究了ＣＩＭＯＳＡ功能模型的Ｐｅｔｉｒ网表示方法并给出了由ＣＩＭＯＡ功能模型到Ｐｅｔｉｒ网模型的转换步骤