CIMOSA功能模型的Petri网表示方法

被引：3

作者：

范玉顺

吴澄

机构：

[1] 清华大学自动化系

来源：

计算机集成制造系统-CIMS | 1997年 / 06期

关键词：

CIMOSA；Petri网；功能模型；模型表示;

D O I：

10.13196/j.cims.1997.06.7.fanysh.002

中图分类号：

TP393 [计算机网络];

学科分类号：

081201 ; 1201 ;

摘要：

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

引用

页码：7 / 13

页数：7