ICPN的时间自动机构造方法

摘要：

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

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

所属期刊栏目：37

分类号：TP311(计算技术、计算机技术)

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

在线出版日期：2011-08-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：15-17