Petri网精细化操作及其在系统建模中的应用  

Petri Nets Refinements and Its Application in System Modeling

作　　者：夏传良[1] 陆维明[2] 

机构地区：[1]山东建筑大学计算机学院,济南250101 [2]中国科学院数学与系统科学研究院计算机科学研究室,北京100080

出　　处：《系统仿真学报》2006年第8期2070-2077,共8页Journal of System Simulation

基　　金：国家自然科学基金(60073013)

摘　　要：为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这两种精细化操作保持状态机(SM)、标识图(MG)、自由选择网(FC)、非对称选择网(AC)、结构有界性、守恒性、可重复性、相容性和活性的充分条件。结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。In order to solve some kinds of problems, such as customer＇s suing for compensation, a scheme was proposed using Petri nets refinements. Petri nets were used in system modeling. Two kinds of subnets were defined. A refinement Petri net was obtained through using the two kinds of subnets to replace some transitions or places of the ordinary Petri net. Structural and behavioral properties were investigated. The sufficient conditions of state machine （SM）, marked graph （MG）, free choice net （FC） and asymmetric choice net （AC） preservation were obtained. The sufficient conditions of structural property preservation by refingments were presented, such as structural boundedness, conservativeness, repetitiveness, consistency. The sufficient conditionds of liveness preservation was also obtained. These results are useful for analyzing properties for large complex systems. The refinement method is also useful in specification and verification of some business systems and practical to use in rely.

关 键 词：PETRI网 精细化操作 结构有界性 活性 系统建模 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]