Construction Method of Timed Automata for ICPN

doi:10.3969/j.issn.1000-3428.2011.06.006

Computer Engineering ›› 2011, Vol. 37 ›› Issue (6): 15-17. doi: 10.3969/j.issn.1000-3428.2011.06.006

• Networks and Communications • Previous Articles Next Articles

Construction Method of Timed Automata for ICPN

LIAO Wei-zhi, LI Wen-jing, WANG Ru-liang

(College of Computer and Information Engineering, Guangxi Teachers Education University, Nanning 530001, China)

Online:2011-03-20 Published:2011-03-29

ICPN的时间自动机构造方法

廖伟志，李文敬，王汝凉

(广西师范学院计算机与信息工程学院，南宁 530001)

作者简介:廖伟志(1974－)，男，副教授、博士，主研方向：形式化技术及应用，Petri网；李文敬，教授；王汝凉，教授、博士
基金资助:
国家自然科学基金资助项目(60864001)；广西自然科学基金资助项目(0991105)；广西师范学院前期基础研究基金资助项目

Abstract

Abstract: Behavior evolution is main method for Continuous Petri Net(CPN) model. However, it can not offer all analysis for CPN. To analyze Interval Continuous Petri Net(ICPN) by timed automata, the state evolution graph for ICPN is developed, and the timed automata for ICPN is proposed based on a state evolution graph. Through case study, the effectiveness and necessity of the proposed method are illustrated.

Key words: Interval Continuous Petri Net(ICPN), timed automata, state evolution

摘要： 为克服Petri网行为演变分析技术的局限性，利用时间自动机技术分析区间速率连续Petri网(ICPN)特性。根据区间速率连续Petri网模型语义提出基于冲突消解的区间速率连续Petri网状态演变图构造算法，给出状态演变图的时间自动机构造方法。对某化工生产过程的分析表明了该方法的必要性和有效性。

关键词: 区间速率连续Petri网, 时间自动机, 状态演变

CLC Number:

TP311

LIAO Wei-Zhi, LI Wen-Jing, WANG Ru-Liang. Construction Method of Timed Automata for ICPN[J]. Computer Engineering, 2011, 37(6): 15-17.

廖伟志, 李文敬, 王汝凉. ICPN的时间自动机构造方法[J]. 计算机工程, 2011, 37(6): 15-17.

/ / Recommend / Download Citations

URL: http://www.ecice06.com/EN/10.3969/j.issn.1000-3428.2011.06.006

http://www.ecice06.com/EN/Y2011/V37/I6/15

References

[1]Alla H, David R. A Modeling and Analysis Tool for Discrete Event Systems: Continuous Petri Nets[J]. Performance Evaluation, 1998, 33(3): 175-199. [2]Balduzzi F, Giua A, Menga G. First-order Hybrid Petri Nets: A Model for Optimization and Control[J]. IEEE Transactions on Robotics and Automation, 2000, 16(4): 382-399. [3]Allam M, Alla H. Modeling and Simulation of an Electronic Component Manufacturing System Using Hybrid Petri Nets[J]. IEEE Transitions on Semiconductor Manufacturing, 1998, 11(3): 374-383. [4]李文敬, 廖伟志, 王汝凉. Petri网系统的功能划分及其并行算法[J]. 计算机工程, 2009, 35(21): 48-53. [5]Droste M, Short R M. Continuous Petri Nets and Transition System, Unifying Petri Nets[M]. [S. l.]: Springer, 2001. [6]Gu Tianlong, Dong Rongsheng. Novel Continuous Model to Approximate Time Petri Nets: Modeling and Analysis[J]. Journal of Application Mathematic and Computer Science, 2005, 15(1): 141-150. [7]Liao Weizhi, Gu Tianlong. Optimization and Control of Production Systems Based on Interval Speed Continuous Petri Nets[C]//Proc. of 2005 IEEE International Conference on Systems, Man and Cybernetics. Hawaii, USA: IEEE Press, 2005. [8]廖伟志, 古天龙. 区间速率连续Petri网的有效冲突及其消解[J]. 计算机科学, 2006, 33(10): 221-224. [9]SavaA T, Alla H. Combining Hybrid Petri Nets and Hybrid Automata[J]. IEEE Transitions on Robotics and Automation, 2001, 17(5): 670-678. [10]Troncale S, Comet J, Bernot G. A Temporal Logic with Event Clock Automata for Timed Hybrid Petri Nets[EB/OL]. (2010-05- 21). http://www.ibisc.univ-evry.fr/Vie/TR. [11]Cassez F, Roux O H. Structural Translation from Time Petri Nets to Timed Automata[J]. Journal of systems and Software, 2006, 29(1): 1456-1468. [12]Alur R, Fix L. Event-clock Automata: A Determinizable Class of Timed Automata[J]. Theoretical Computer Science, 1999, 211(2): 253-257.

Please choose a citation manager

Content to export

Construction Method of Timed Automata for ICPN

ICPN的时间自动机构造方法

PDF

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 6

Recommended Articles

Metrics

Comments

[1]	TANG Zhengyi,WANG Jinshui,HE Dongwei,XUE Xingsi,HU Wenyu. Formal Modeling and Verification of Feeder Automation Algorithm [J]. Computer Engineering, 2016, 42(3): 89-93.
[2]	YANG Xiao-Bei. Research on Formalization Model for Web Service Compilation [J]. Computer Engineering, 2012, 38(7): 276-278.
[3]	XU Miao, LI Yuan, GUI Cheng-Lin, LUO Lei. Schedule Analysis Tool for Embedded System Based on Timed Automata [J]. Computer Engineering, 2012, 38(3): 290-292.
[4]	ZHANG Lei- , MA Guang-Qing, XIU Jian-Xin. Equivalent Model Verification of Task Network to Timed Automata [J]. Computer Engineering, 2012, 38(13): 286-288.
[5]	CHEN Xin; LU Juan; ZHOU Yong-jun. Simulation of AFDX Redundancy Management Mechanism [J]. Computer Engineering, 2008, 34(23): 92-94.
[6]	GAO Guanlong; ZHOU Qinglei;. Timed Automata and Network Protocol Verification [J]. Computer Engineering, 2006, 32(22): 130-132.

模态框（Modal）标题

Please choose a citation manager

Content to export

Construction Method of Timed Automata for ICPN

ICPN的时间自动机构造方法

PDF

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 6

Recommended Articles

Metrics

Comments