题名: | Petri网精细化操作及其在系统设计中的应用 |
作者: | 夏传良
; 焦莉
; 陆维明
|
关键词: | Petri网
; 精细化操作
; 活性
; 有界性
; 系统设计
|
刊名: | 软件学报
|
发表日期: | 2006
|
期: | 1, 页:11-19 | 部门归属: | 中国科学院数学与系统科学研究院计算机科学研究室,中国科学院软件研究所计算机科学重点实验室,中国科学院数学与系统科学研究院计算机科学研究室 北京100080,北京100080,北京100080
|
摘要: | 针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值. |
内容类型: | 期刊论文
|
URI标识: | http://ir.iscas.ac.cn/handle/311060/11594
|
Appears in Collections: | 计算机科学国家重点实验室 _期刊论文
|
File Name/ File Size |
Content Type |
Version |
Access |
License |
|
Petri网精细化操作及其在系统设计中的应用.pdf(407KB) | -- | -- | 限制开放 | -- | 联系获取全文 |
|
Recommended Citation: |
夏传良,焦莉,陆维明. Petri网精细化操作及其在系统设计中的应用[J]. 软件学报,2006-01-01(1):11-19.
|
|
|