未找到相关数据
功能确定的离散并发系统的Petri网规范设计方法
被引：9
作者：
蒋昌俊
机构：
[1] 山东矿业学院应用数学与软件工程系
来源：
关键词：
离散并发系统，建模，Petri网，概念模型，规格说明;
D O I：
暂无
中图分类号：
TP271.8 [];
学科分类号：
摘要：
本文提出概念模型的概念，作为实际问题到Ｐｅｔｒｉ同模型的桥梁，也就是系统的规格说明．概念模型包括功能图、资源图和约束集三部分，由此将系统设计中的功能与环境严格区分开，给出实际问题到概念模型，以及概念模型到Ｐｅｔｒｉ网模型的转换算法，从而构成一个面向功能的系统的Ｐｅｔｒｉ网规范设计方法．通过一制造系统的建模，说明了该方法的规范性和有效性．
引用
收藏
页码：532 / 538
页数：7
相关论文