一种Petri网精细化方法及应用.pdfVIP

一种Petri网精细化方法及其应用*) A Net Petri RefinementMethodandits Applications 刘刚1·2夏传良23 济南250100)1 (山东大学计算机科学与技术学院 (山东建筑大学计算机科学与技术学院 济南250101)2 (中国科学院数学与系统科学研究院计算机科学研究室北京100080)s tosolveakindofaffair is Absh·actInorder scheme Petrinetsrefinements．Onekindof problem，a proposedusing subnetiSdefined．ArefinementPetrinetisobtained thethekindofsubnetsto some of throughusing replaceplaces the Petrinet．Thesuffieientconditiondsofstructural are Ordinary propertypreservationbyrefingmentspresented． suchstructural and as T-invariant．The SUfficientconditionalsofliveness iSalsoobtained．Theseresultsfireusefulfor for preservation analyzingproperties refinementmethodis fitfor and akindofaifair largecomplexsystems．The especiallydesigninganalyzing system and toriseinreality． practical Petri Keywordsnets。Refinanent，Structural boundedness，Liv∞ess，Systemdesign 系统，参考了大量有关Petri网精细化操作方面的文 1 引论 献，提出了一种P-型子网和P_型子网精细化操作． 在日常生活中经常遇到一类业务处理问题，例 本文的基本结构如下：第2节给出了相关的基 如“顾客投诉”问题。这类业务处理过程在日常生活 本概念和术语；第3节研究了P-型子网精细化操作 中具有一定的普遍性。为建立和管理好这类系统， 性质保持问题；第4节对一个业务处理系统进行了 需要一整套完整的建模、分析的理论和方法。Petri设计和分析；最后总结全文。 网侧重于系统的物理结构描述和性质分析，有对结 2基本概念和术语 构与行为的统一考虑，对系统的表达能力强，并已形 成严格的体系。本文就以Petri网作为上述业务过 关于Petri网的基本概念和术语可参见文[7]， 这里只引入与本文相关的少数几个概念。 程处理系统的建模、分析工具。考