机构地区: 广西师范学院计算机与信息工程学院
出 处: 《计算机工程》 2011年第6期15-17,共3页
摘 要: 为克服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.
领 域: [自动化与计算机技术] [自动化与计算机技术]