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

Petri Nets Refinements and Its Application in System Modeling

为了解决“顾客投诉”等这一类业务处理问题,提出了用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.