摘要
为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。定义了一种子网,用这种子网分别对Petri网中的某些变迁进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这种精细化操作保持结构有界性、守恒性、可重复性、相容性和活性的充分条件。本文的结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。
In order to solve some kinds of problems, such as customer＇s suing for compensation, a scheme is proposed using Petri nets refinements. A kind of subnet is defined. A refinement Petri net is obtained through using the kind of subnet to replace some transitions of the ordinary Petri net. Structural and behavioral properties have been investiga- ted. The sufficient conditionds of structural property preservation by refingments are presented, such as structural boundedness, conservativeness, repetitiveness, consistency. The sufficient conditionds of liveness preservation is 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 reality.
出处
《计算机科学》
CSCD
北大核心
2007年第1期236-241,共6页
Computer Science
基金
国家自然科学基金(60073013)资助
