作者:陈兆柱; 夏传良petri网精细化操作结构性质活性
摘要:为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。定义了一种子网,用这种子网分别对Petri网中的某些变迁进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这种精细化操作保持结构有界性、守恒性、可重复性、相容性和活性的充分条件。本文的结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社