KMS Of Academy of mathematics and systems sciences, CAS
| Petri网化简操作及其在系统验证中的应用 | |
| 其他题名 | The Petri Net Reduction and its Application in System Verification |
| 夏传良1; 徐进2 | |
| 2006 | |
| 发表期刊 | 计算机科学
 |
| ISSN | 1002-137X |
| 卷号 | 33.0期号:009页码:235-240 |
| 摘要 | 针对柔性制造系统的验证问题,提出了用Petri网化简操作解决问题的方案。给出了两种化简操作。研究了这两种化简操作的动态性质保持问题,给出了化简后的Petri网保持活性、有界性、可回复性的一组充分条件或充要条件。对一个柔性制造系统进行了验证。本文的结果可为Petri网系统静态和动态性质的考察提供有效途径。为复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的验证,具有一定的实用价值。 |
| 其他摘要 | A scheme is obtained using some kinds of Petri net reduction, according to the verification of flexible manufacturing system. Two kinds of reductions are proposed and their dynamic property preservations have been investigated. A group of sufficient conditions or sufficient and necessary conditions of liveness preservation, boundedness preservation and reversibility preservation are presented. A flexible manufacturing system has been verified. These results are useful for studying the static and dynamic properties of Petri nets, analyzing properties for large complex system. The reduction method is especially fit for system verification and practical to use in reality. |
| 关键词 | Petri网 化简操作 活性 有界性 系统验证 柔性制造系统 |
| 收录类别 | CSCD |
| 语种 | 中文 |
| CSCD记录号 | CSCD:2439604 |
| 引用统计 | |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://ir.amss.ac.cn/handle/2S8OKBNM/52778 |
| 专题 | 中国科学院数学与系统科学研究院 |
| 作者单位 | 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. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [夏传良]的文章 |
| [徐进]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [夏传良]的文章 |
| [徐进]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [夏传良]的文章 |
| [徐进]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论