摘要
通过在ω符号中加入令牌数增减的信息 ,改进了原标识Petri网覆盖树的构造方法 ,从而提出了一种新型的覆盖树 ,即改进覆盖树 .这种覆盖树是有限的 ,它可以覆盖所有的可达标识 ,并且每一节点都含有可达标识 .这种覆盖树可单独用于检测标识网的死锁 ,文中示例表明它是有效的 .
By adding in the symbol ω , the information of the increase or decrease of token number, a new kind of coverability tree of marked nets, called Improved Coverability Tree (ICT), is proposed in this paper. It is proved that an ICT is limited in nature. It can cover all reachable markings and each node of an ICT includes some reachable markings. The paper also proves that an ICT can be used to detect deadlock.
出处
《华南理工大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2001年第8期60-64,共5页
Journal of South China University of Technology(Natural Science Edition)
基金
国家自然科学基金资助项目 (6 9782 0 0 8)
广东省自然科学基金资助项目 (970 44 0 )
国家教委优秀青年教师基金资助项目
