作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

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

• 博士论文 • 上一篇    下一篇

ICPN的时间自动机构造方法

廖伟志,李文敬,王汝凉   

  1. (广西师范学院计算机与信息工程学院,南宁 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   

  1. (College of Computer and Information Engineering, Guangxi Teachers Education University, Nanning 530001, China)
  • Online:2011-03-20 Published:2011-03-29

摘要: 为克服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

中图分类号: