| 带抑制弧Petri网的保性变换 |
| |
| 引用本文： | 莫礼平,乐晓波,周恺卿,张兆海.带抑制弧Petri网的保性变换[J].计算机应用,2012,32(11):3071-3074. |
| |
| 作者姓名： | 莫礼平 乐晓波 周恺卿 张兆海 |
| |
| 作者单位： | 1. 吉首大学 信息科学与工程学院，湖南 吉首 4160002. 长沙理工大学 计算机与通信工程学院，长沙 4100763. 马来西亚理工大学 计算机科学与信息系统系，马来西亚 柔佛州新山市 813104. 中国招商银行株洲支行，湖南 株洲 4120075. |
| |
| 基金项目： | 湖南省教育厅青年项目(10B088) |
| |
| 摘 要： | Petri 网的保性化简是Petri网分析的一种重要途径。带抑制弧的增广Petri网在计算能力上与图灵机等价。针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上，证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致。
|
| 关 键 词： | 带抑制弧的Petri网 保性变换 活性 有界性 (弱)公平性 |
| 收稿时间： | 2012-05-28 |
| 修稿时间： | 2012-07-20 |
Property preserving operation for simplifying Petri nets with inhibitor arcs |
| |
| MO Li-ping,YUE Xiao-bo,ZHOU Kai-qing,ZHANG Zhao-hai.Property preserving operation for simplifying Petri nets with inhibitor arcs[J].journal of Computer Applications,2012,32(11):3071-3074. |
| |
| Authors: | MO Li-ping YUE Xiao-bo ZHOU Kai-qing ZHANG Zhao-hai |
| |
| Affiliation: | 1. College of Information Scinece and Engieering,Jishou University,Jishou Hunan 416000,China2. College of Computer and Communication Engineering, Changsha University of Science and Technology, Changsha Hunan 410076, China3. Faculty of Computer Science and Information System,Univeristi Teknologi Malaysia，UTM Skudai Johor 80310,Malaysia4. 5. China Merchants Bank Zhuzhou Sub branch,Zhuzhou Hunan 412007, China |
| |
| Abstract: | Petri nets simplification of property preservation is a significant approach for Petri nets analysis. Meanwhile, the computational ability of Petri nets with inhibitor arcs is equal to Turing machine. From the perspective of series transition and series places respectively, this paper proposed two simplified methods of the Petri nets with inhibitor arcs. Finally, it proved that the characteristics such as aliveness, boundedness and weak fairness of simplified Petri nets with inhibitor arcs were kept unanimous with the original Petri nets with inhibitor arcs by these methods. |
| |
| Keywords: | Petri net with inhibitor arcs property preserving operation aliveness boundedness (weak) fairness |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
