Petri网化简操作及其在系统验证中的应用
文献类型：期刊论文
| 作者 | 夏传良1; 徐进2 |
| 刊名 | 计算机科学
 |
| 出版日期 | 2006 |
| 卷号 | 33.0期号:009页码:235-240 |
| 关键词 | Petri网 化简操作 活性 有界性 系统验证 柔性制造系统 |
| ISSN号 | 1002-137X |
| 其他题名 | The Petri Net Reduction and its Application in System Verification |
| 英文摘要 | 针对柔性制造系统的验证问题,提出了用Petri网化简操作解决问题的方案。给出了两种化简操作。研究了这两种化简操作的动态性质保持问题,给出了化简后的Petri网保持活性、有界性、可回复性的一组充分条件或充要条件。对一个柔性制造系统进行了验证。本文的结果可为Petri网系统静态和动态性质的考察提供有效途径。为复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的验证,具有一定的实用价值。 |
| 语种 | 中文 |
| CSCD记录号 | CSCD:2439604 |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/52777]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 作者单位 | 1.中国科学院数学与系统科学研究院 2.盐城工学院 |
| 推荐引用方式 GB/T 7714 | 夏传良,徐进. Petri网化简操作及其在系统验证中的应用[J]. 计算机科学,2006,33.0(009):235-240. |
| APA | 夏传良,&徐进.(2006).Petri网化简操作及其在系统验证中的应用.计算机科学,33.0(009),235-240. |
| MLA | 夏传良,et al."Petri网化简操作及其在系统验证中的应用".计算机科学 33.0.009(2006):235-240. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。