计算机科学 ›› 2006, Vol. 33 ›› Issue (9): 235-240.
• 计算机网络与信息安全 • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 针对柔性制造系统的验证问题，提出了用Petri网化简操作解决问题的方案。给出了两种化简操作。研究了这两种化简操作的动态性质保持问题，给出了化简后的Petri网保持活性、有界性、可回复性的一组充分条件或充要条件。对一个柔性制造系统进行了验证。本文的结果可为Petri网系统静态和动态性质的考察提供有效途径，为复杂大系统的分析提供重要手段，并特别适合于柔性制造系统的验证，具有一定的实用价值。
关键词: Petri网 化简操作 活性 有界性 系统验证 柔性制造系统
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 condi
Key words: Petri nets, Reduction, Liveness, Boundedness, System verification, Flexible manufacturing system
. Petri网化简操作及其在系统验证中的应用[J]. 计算机科学, 2006, 33(9): 235-240. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I9/235
Cited
首页