高级检索

    基于Petri网的混惑检测

    Confusion Detection Based on Petri-Net

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

       

      Abstract: 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.

       

    /

    返回文章
    返回