| Petri网精细化操作及其在系统设计中的应用 |
| 夏传良; 焦莉; 陆维明
|
| 2006
|
| 发表期刊 | 软件学报
 |
| 期号 | 1页码:11-19 |
| 摘要 | 针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值. |
| 关键词 | Petri网
精细化操作
活性
有界性
系统设计
|
| 部门归属 | 中国科学院数学与系统科学研究院计算机科学研究室,中国科学院软件研究所计算机科学重点实验室,中国科学院数学与系统科学研究院计算机科学研究室 北京100080,北京100080,北京100080
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/11594
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
夏传良,焦莉,陆维明. Petri网精细化操作及其在系统设计中的应用[J]. 软件学报,2006(1):11-19.
|
| APA |
夏传良,焦莉,&陆维明.(2006).Petri网精细化操作及其在系统设计中的应用.软件学报(1),11-19.
|
| MLA |
夏传良,et al."Petri网精细化操作及其在系统设计中的应用".软件学报 .1(2006):11-19.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论