[1]叶剑虹,叶双.带抑制弧Petri网极小活标识的配置[J].华侨大学学报(自然科学版),2011,32(5):525-528.[doi:10.11830/ISSN.1000-5013.2011.05.0525]
　YE Jian-hong,YE Shuang.Assignment of Minimal Live Marking for Petri Net with Inhibitor Arcs[J].Journal of Huaqiao University(Natural Science),2011,32(5):525-528.[doi:10.11830/ISSN.1000-5013.2011.05.0525]
点击复制

带抑制弧Petri网极小活标识的配置()
分享到：

《华侨大学学报（自然科学版）》[ISSN:1000-5013/CN:35-1079/N]

卷:
第32卷
期数:
2011年第5期
页码:
525-528
栏目:
出版日期:
2011-09-20

文章信息/Info

Title:
Assignment of Minimal Live Marking for Petri Net with Inhibitor Arcs
文章编号:
1000-5013(2011)05-0525-04
作者:
叶剑虹; 叶双
华侨大学计算机科学与技术学院
Author(s):
YE Jian-hong;  YE Shuang
School of Computer Science & Technology, Huaqiao University, Quanzhou 362021, China
关键词:
抑制弧;  Petri网;  结构活;  极小活标识;  配置算法
Keywords:
inhibitor arcs;  Petri net;  structural live;  minimal live marking;  assignment algorithm
分类号:
TP301.1
DOI:
10.11830/ISSN.1000-5013.2011.05.0525
文献标志码:
A
摘要:
讨论无冲突带抑制弧Petri网结构活性的判定条件,即证明一个结构活的网,扩充为带抑制弧的网后仍然活当且仅当生成的抑制弧网具有持续性.给出一个已知结构活的带抑制弧网的极小活标识的配置算法,将网的极小活标识配置最终转化为环路中极小活标识的求解.与传统方法相比,新算法不仅易于程序实现,且时间复杂度是多项式的.
Abstract:
The liveness issues concerning conflict-free Petri nets with inhibitor is discussed.We proved that a structural live net is still live if and only if the property of persistency holds.This paper presented an assignment of minimal live marking algorithm for structural live Petri net with inhibitor arcs.The minimal live marking issue is transferred into the assignment of marking for the cycle.Compared with traditional methods,the new algorithm is more easy to program,and the time complexity is polynomial.

参考文献/References:

[1] MURATA T. Petri nets:Properties analysis and applications [J]. IEEE Transactions on Software Engineering, 1987(4):541-580.doi:10.1109/5.24143.
[2] BEST E. Structure theory of petri nets:The free choice hiatus [J]. Lecture Notes in Computer Science, 1987.168-205.
[3] IORDACHE M V, ANTSAKLIS P J. Generalized conditions for liveness enforcement and deadlock prevention in petri nets [J]. Lecture Notes in Computer Science, 2001.184-203.
[4] JIAO Li, CHEUNG To-yat, LU Wei-ming. On liveness and boundedness of asymmetric choice nets [J]. Theoretical Computer Science, 2004, (1/2/3):165-197.doi:10.1016/S0304-3975(03)00359-1.
[5] 焦莉. 关于Petri网活性的研究 [D]. 北京:中国科学院, 2001.
[6] LAUTENBACH K. Reproducibility of the empty marking [J]. Lecture Notes in Computer Science, 2002.281-300.
[7] REISIG W. Petri nets:An introduction [M]. Heidelberg:Springer-Verlag, 1985.17-135.
[8] 吴哲辉. Petri网导论 [M]. 北京:机械工业出版社, 2006.
[9] 袁崇义. Petri网原理与应用 [M]. 北京:电子工业出版社, 2005.
[10] AALST W V D, HEE K V. Workflow management:Models methods and systems [M]. Cambridge, MA:The MIT Press, 2002.
[11] 蒲飞, 陆维明. 同步合成Petri网系统活性与无死锁的保持性 [J]. 软件学报, 2003, (12):1977-1988.
[12] 蒋昌俊. Petri网的动态不变性 [J]. 中国科学E辑, 1997(6):605-611.
[13] 洪国彬, 郑丕谔. 业务流程中冲突现象的解决与性能分析 [J]. 华侨大学学报(自然科学版), 2005(3):325-328.doi:10.3969/j.issn.1000-5013.2005.03.026.

相似文献/References:

[1]吴扬扬,陈锻生.一个多媒体数据库系统的时间同步控制机制[J].华侨大学学报(自然科学版),1999,20(1):100.[doi:10.11830/ISSN.1000-5013.1999.01.0100]
　Wu Yangyang,Chen Duansheng.Mechanism of Time Synchronous Control in a Multimedia Database System[J].Journal of Huaqiao University(Natural Science),1999,20(5):100.[doi:10.11830/ISSN.1000-5013.1999.01.0100]
[2]黄彬,高诚辉.Internet的产品快速原型制造过程建模[J].华侨大学学报(自然科学版),2005,26(2):187.[doi:10.3969/j.issn.1000-5013.2005.02.020]
　Huang Bin,Gao Chenghui.Internet-Based Process Modeling for Rapid Prototyping Manufacture of Product[J].Journal of Huaqiao University(Natural Science),2005,26(5):187.[doi:10.3969/j.issn.1000-5013.2005.02.020]
[3]齐鹏飞,罗继亮,陈雪琨.PLC程序形式化的设计与验证[J].华侨大学学报(自然科学版),2013,34(3):241.[doi:10.11830/ISSN.1000-5013.2013.03.0241]
　QI Peng-fei,LUO Ji-liang,CHEN Xue-kun.Design and Verification on the PLC Program Based on Formal Methods[J].Journal of Huaqiao University(Natural Science),2013,34(5):241.[doi:10.11830/ISSN.1000-5013.2013.03.0241]
[4]倪会娟,罗继亮.采用普通Petri网的自动化立体仓库系统的PLC程序设计[J].华侨大学学报(自然科学版),2014,35(2):146.[doi:10.11830/ISSN.1000-5013.2014.02.0146]
　NI Hui-juan,LUO Ji-liang.PLC Program Design for Automated Storage and Retrieval Systems Based on Ordinary Petri Nets[J].Journal of Huaqiao University(Natural Science),2014,35(5):146.[doi:10.11830/ISSN.1000-5013.2014.02.0146]
[5]叶丹丹,罗继亮.利用Petri网特征结构的故障诊断方法[J].华侨大学学报(自然科学版),2015,36(预先出版):0.
　YE Dan-dan,LUO Ji-liang.Method for Fault Diagnosis Based on Characteristic Structure of Petri Nets[J].Journal of Huaqiao University(Natural Science),2015,36(5):0.
[6]叶丹丹,罗继亮.利用Petri网特征结构的故障诊断方法[J].华侨大学学报(自然科学版),2014,35(4):378.[doi:10.11830/ISSN.1000-5013.2014.04.0378]
　YE Dan-dan,LUO Ji-liang.Method for Fault Diagnosis Using Characteristic Structure of Petri Nets[J].Journal of Huaqiao University(Natural Science),2014,35(5):378.[doi:10.11830/ISSN.1000-5013.2014.04.0378]
[7]陈珑,黄颖坤,罗继亮.FPGA组合逻辑程序的Petri网建模方法[J].华侨大学学报(自然科学版),2015,36(1):29.[doi:10.11830/ISSN.1000-5013.2015.01.0029]
　CHEN Long,HUANG Ying-kun,LUO Ji-liang.Modeling Method for FPGA Combinational Logic Program Based on Petri Net[J].Journal of Huaqiao University(Natural Science),2015,36(5):29.[doi:10.11830/ISSN.1000-5013.2015.01.0029]
[8]方慧娟,尹亮,罗继亮.运动想象脑机接口系统的Petri网建模方法[J].华侨大学学报(自然科学版),2020,41(1):113.[doi:10.11830/ISSN.1000-5013.201908023]
　FANG Huijuan,YIN Liang,LUO Jiliang.Petri Net Modeling Method for Motor Imagery Brain-Computer Interface System[J].Journal of Huaqiao University(Natural Science),2020,41(5):113.[doi:10.11830/ISSN.1000-5013.201908023]

备注/Memo

备注/Memo:
福建省厦门市科技计划创新项目(3502Z20103027); 华侨大学高层次人才科研启动项目(09BS514)
更新日期/Last Update: 2014-03-23