ICPN的时间自动机构造方法

doi:10.3969/j.issn.1000-3428.2011.06.006

计算机工程 ›› 2011, Vol. 37 ›› Issue (6): 15-17. doi: 10.3969/j.issn.1000-3428.2011.06.006

ICPN的时间自动机构造方法

廖伟志，李文敬，王汝凉

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

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

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

摘要/Abstract

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

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

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

中图分类号:

TP311

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

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

https://www.ecice06.com/CN/Y2011/V37/I6/15

参考文献

[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.

选择文件类型/文献管理软件名称

选择包含的内容

ICPN的时间自动机构造方法

Construction Method of Timed Automata for ICPN

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 7

编辑推荐

Metrics

本文评价

[1]	刘阳, 张圣杰. 一种基于时间自动机的安全智能合约生成方法[J]. 计算机工程, 2023, 49(9): 137-143, 157.
[2]	唐郑熠,王金水,何栋炜,薛醒思,胡文瑜. 馈线自动化算法的形式化建模与验证[J]. 计算机工程, 2016, 42(3): 89-93.
[3]	杨晓波. Web服务编制的形式化模型研究[J]. 计算机工程, 2012, 38(7): 276-278.
[4]	于淼, 李允, 桂盛霖, 罗蕾. 基于时间自动机的嵌入式系统调度分析工具[J]. 计算机工程, 2012, 38(3): 290-292.
[5]	张磊 , 马光胜, 修建新. 任务网络到时间自动机的等价模型验证[J]. 计算机工程, 2012, 38(13): 286-288.
[6]	陈昕;路娟;周拥军. AFDX冗余管理机制的仿真[J]. 计算机工程, 2008, 34(23): 92-94.
[7]	高冠龙;周清雷;. 时间自动机与网络协议验证[J]. 计算机工程, 2006, 32(22): 130-132.

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

ICPN的时间自动机构造方法

Construction Method of Timed Automata for ICPN

PDF

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 7

编辑推荐

Metrics

本文评价