KMS Of Academy of mathematics and systems sciences, CAS
| Petri网化简操作及其在系统验证中的应用 | |
| Alternative Title | The Petri Net Reduction and its Application in System Verification |
| 夏传良1; 徐进2 | |
| 2006 | |
| Source Publication | 计算机科学
 |
| ISSN | 1002-137X |
| Volume | 33.0Issue:009Pages:235-240 |
| Abstract | 针对柔性制造系统的验证问题,提出了用Petri网化简操作解决问题的方案。给出了两种化简操作。研究了这两种化简操作的动态性质保持问题,给出了化简后的Petri网保持活性、有界性、可回复性的一组充分条件或充要条件。对一个柔性制造系统进行了验证。本文的结果可为Petri网系统静态和动态性质的考察提供有效途径。为复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的验证,具有一定的实用价值。 |
| Other Abstract | 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. |
| Keyword | Petri网 化简操作 活性 有界性 系统验证 柔性制造系统 |
| Indexed By | CSCD |
| Language | 中文 |
| CSCD ID | CSCD:2439604 |
| Citation statistics | |
| Document Type | 期刊论文 |
| Identifier | http://ir.amss.ac.cn/handle/2S8OKBNM/52778 |
| Collection | 中国科学院数学与系统科学研究院 |
| Affiliation | 1.中国科学院数学与系统科学研究院 2.盐城工学院 |
| Recommended Citation 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. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment