ICPN的时间自动机构造方法  

Construction Method of Timed Automata for ICPN

作　　者：廖伟志[1] 李文敬[1] 王汝凉[1] 

机构地区：[1]广西师范学院计算机与信息工程学院

出　　处：《计算机工程》2011年第6期15-17,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60864001);广西自然科学基金资助项目(0991105);广西师范学院前期基础研究基金资助项目

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

关 键 词：区间速率连续PETRI网 时间自动机 状态演变 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]