计算机应用 ›› 2012, Vol. 32 ›› Issue (11): 3071-3074.DOI: 10.3724/SP.J.1087.2012.03071

• 计算机软件 • 上一篇    下一篇

带抑制弧Petri网的保性变换

莫礼平1,乐晓波2,周恺卿3,张兆海4,5   

  1. 1. 吉首大学 信息科学与工程学院，湖南 吉首 416000
    2. 长沙理工大学 计算机与通信工程学院，长沙 410076
    3. 马来西亚理工大学 计算机科学与信息系统系，马来西亚 柔佛州新山市 81310
    4. 中国招商银行株洲支行，湖南 株洲 412007
    5.
  • 收稿日期:2012-05-28 修回日期:2012-07-20 发布日期:2012-11-12 出版日期:2012-11-01
  • 通讯作者: 莫礼平
  • 作者简介:莫礼平(1972-), 女,湖南安化人,CCF会员，高级实验师，硕士,主要研究方向：Petri网理论及应用、数据挖掘、数据库与信息处理；乐晓波(1957-)，男，陕西西安人，教授，主要研究方向：Petri网理论及应用、并行算法、人工智能；周恺卿(1984-)，男，湖南长沙人，博士研究生，CCF会员，主要研究方向：Petri网理论及应用、模糊理论、知识推理;张兆海(1975-), 男, 湖南慈利人，工程师,主要研究方向：网络技术。
  • 基金资助:
    湖南省教育厅青年项目

Property preserving operation for simplifying Petri nets with inhibitor arcs

MO Li-ping1,YUE Xiaobo2,ZHOU Kai-qing3,ZHANG Zhao-hai4,5   

  1. 1. College of Information Scinece and Engieering,Jishou University,Jishou Hunan 416000,China
    2. College of Computer and Communication Engineering, Changsha University of Science and Technology, Changsha Hunan 410076, China
    3. Faculty of Computer Science and Information System,Univeristi Teknologi Malaysia，UTM Skudai Johor 80310,Malaysia
    4.
    5. China Merchants Bank Zhuzhou Subbranch,Zhuzhou Hunan 412007, China
  • Received:2012-05-28 Revised:2012-07-20 Online:2012-11-12 Published:2012-11-01
  • Contact: MO Li-ping

PDF

摘要： Petri 网的保性化简是Petri网分析的一种重要途径。带抑制弧的增广Petri网在计算能力上与图灵机等价。针对带抑制的增广Petri网中串联变迁和串联库所两类情况进行了较深入的分析,在给出了相关化简方法的基础上，证明了通过这些化简规则所得到的网系统与原网在活性、有界性、弱公平性等动态性质上仍保持一致。

关键词: 带抑制弧的Petri网, 保性变换, 活性, 有界性, (弱)公平性

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.

Key words: Petri net with inhibitor arcs, property preserving operation, aliveness, boundedness, (weak) fairness

中图分类号: 

版权所有 © 2021 四川计算机应用杂志社有限公司
蜀ICP备 05010208 号-3　新出网证(川)字026号
技术支持：北京玛格泰克科技发展有限公司
访问总数：
今日访问：