关于Petri网精细化操作及其应用研究

摘要：

为了解决"顾客投诉"等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案.定义了一种子网,用这种子网分别对Petri网中的某些变迁进行细化,得到更细致、更精确的Petri网.研究了Petri网精细化操作的性质保持问题,给出了这种精细化操作保持结构有界性、守恒性、可重复性、相容性和活性的充分条件.本文的结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值.

关键词：Petri网、精细化操作、结构性质、活性

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60073013

在线出版日期：2007-03-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：236-241