一种生成具有变量标识的高级Petri网可达树的算法

被引:2
作者
林闯
张彤
机构
[1] 国家信息中心信息科学与应用研究所
[2] 中国科学院软件研究所 北京
[3] 北京
关键词
高级Petri网; 可达树; 变量标识; 等价变量标识;
D O I
暂无
中图分类号
学科分类号
摘要
Petri网动态性质的考察一般基于网不变量(Net Invariants)和可达树(Reachability Tree).这两个概念已被扩展到高级Petri网中.高级Petri网可达集空间随着网的复杂性而指数性增长是计算可达树问题中的一个主要难 点.本文定义了具有变量标识的高级Petri网并给出了构造该类网的可达树的算法.本文的算法以变量标识的等价关系(equivalent relation)和覆盖关系(covering relation)为基础,明显地简化了可达集空间.个体标识的信息可从变量标识的定义域中获得.
引用
收藏
页码:596 / 604
页数:9
相关论文
empty
未找到相关数据