位置:成果数据库 > 期刊 > 期刊详情页
基于Petri网的混惑检测
  • ISSN号:1000-1239
  • 期刊名称:《计算机研究与发展》
  • 时间:0
  • 分类:TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]电子科技大学计算机科学与工程学院,成都610054, [2]西华大学数学与计算机学院,成都610039, [3]北京邮电大学灾备技术国家工程实验室,北京100876
  • 相关基金:国家自然科学基金与香港研究资助局联合科研基金项目(60731160626);高等学校学科创新引智计划基金项目(B08004);四川省科技厅应用基础课题基金项目(03226125)
中文摘要:

在Petri网中,并发和冲突是两个重要的概念,并发和冲突现象混淆的系统特征称之为混惑,当系统存在混惑时获取一个正确的执行以及分析系统性质较为困难,因而存在混惑的系统不是一个好的模型.网论认为并不是并发和冲突相结合带来了麻烦,而是它们相结合导致的混惑带来了麻烦.所以,对一般Petri网模型混惑的检测及可能影响混惑的子网结构研究显得非常必要.在基本网系统下,以混惑的定义为基础,提出了结构混惑的定义,在此基础上定义了3类基本结构混惑,证明了这3类可构成结构混惑的最小完全集,给出检测结构混惑的算法和混惑的检测方法,并将该算法和方法应用到工作流网中,以实例定性分析了结构混惑与混惑的区别和联系以及对合理性的影响.

英文摘要:

Both concurrence and conflict are very important conceptions in the Petri net. Concurrence and confliction mix in the Petri net system is called confusion, which is not a good property of a model, because it appears to be difficult to obtain a "correct" implementation when confusion emerges in the Petri net system, and for systems exhibiting confusion it is also difficult to analyze some properties in the Petri net system. Net theory suggests that it is not the combination of conflict and concurrence itself that causes difficulties in the Petri net system. Rather, it is those combinations of conflict and concurrence resulting in confusion that cause trouble. It is necessary to detect confusion and study some sub-net structure which might affect confusion. Based on the definition of elementary Petri net systems' confusion, three kinds of basic structure of structural confusion are defined, which constitute a minimum-entirety-set of structural confusion. In this paper, some conclusions are proved. every structural confusion can be reduced to the basic structural confusion, and an algorithm detecting structural confusion and one method detecting three kinds of confusion are presented. This paper also motivates the need for illustrating the difference and affiliation between and with structural confusion and confusion in WF-net. It is shown that soundness is affected by its structural confusion with some examples.

同期刊论文项目
期刊论文 16 专利 3
同项目期刊论文
期刊信息
  • 《计算机研究与发展》
  • 中国科技核心期刊
  • 主管单位:中国科学院
  • 主办单位:中国科学院计算技术研究所
  • 主编:徐志伟
  • 地址:北京市科学院南路6号中科院计算所
  • 邮编:100190
  • 邮箱:crad@ict.ac.cn
  • 电话:010-62620696 62600350
  • 国际标准刊号:ISSN:1000-1239
  • 国内统一刊号:ISSN:11-1777/TP
  • 邮发代号:2-654
  • 获奖情况:
  • 2001-2007百种中国杰出学术期刊,2008中国精品科...,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,荷兰文摘与引文数据库,美国工程索引,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
  • 被引量:40349