一种基于同步合成Petri网的FMS建模方法

被引：13

作者：

王化冰

机构：

[1] 中国科学院自动化研究所!北京

来源：

关键词：

Petir网; 柔性制造系统; 同步合成;

D O I：

暂无

中图分类号：

O157.5 [图论];

学科分类号：

070104 ;

摘要：

提出了一种利用 Petri网为 FMS建模的方法 ,通过对 FMS加工过程的分析 ,将系统物理对象划分为工件类和资源类 ,给出了对象子网和对象子网同步合成的概念 .为工件类和资源类分别建立了对象子网 ,通过对象子网的同步合成得到系统的 Petri网模型

引用

页码：35 / 42

页数：8

共 5 条

[1] Petri网的动态不变性 [J].

蒋昌俊 .

[2] 基于行为表达式的任意随机Petri网的品质分析 [J].

蒋昌俊 ;

郑应平 ;

疏松桂 .

Jiang, Changjun .

Journal of Computer Science and Technology, 1995, 10 (06) :509-517

[4] Net Operations [J].

蒋昌俊 ;

吴哲辉 .

[5]

Checking properties of nets using transformations. Berthelot G, Rozenger G. Advances in Petri nets . 1985