逻辑Petri网扩展及性质分析.pdfVIP

声 明 本人呈交给山东科技大学的这篇硕士学位论文，除了所列参考文献和世所公 认的文献外，全部是本人在导师指导下的研究成果。该论文资料尚没有呈交 于其它任何学术机关作鉴定。 硕士生签名： 毛翮 日 期：W修、}、 AFFIRMATIoN Ideelarethatthis dissertation。submittedinfulfillment ofthe requirements fortheawardof MasterofSciencein UniveofScienceand Shandongrsity OWDworkunless Technology,iswhollymy referencedof acknowledge．The documenthasnotbeen submittedfor at otheracademic qualificationany institute． Signature： 叼功 Date：嗍潴，w心 山东科技大学硕士学位论文 摘要 摘 要 Adam Petri网(PetriNet)的概念是在1962年由德国科学家CarlPetri博士 提出的。在50多年的发展过程中，Petri网作为一种既具有严格数学定义又 具有图形表达能力的模拟工具，已经成功的应用到许多实际系统中，使得其 工作系统中批处理功能和传值不确定性，而且缓解了空间状态爆炸问题；工 作流网是一种为模拟工作流进程而定义的Petri网。然而，在逻辑Petri网中， 由于逻辑表达式的存在，在处理数据时，无法解决数据的定向传递，导致数 据输出的不确定性。过程挖掘是近几年新兴起的一个研究领域，工作流网已 经成功应用到过程挖掘中，由于工作流网的局限性，挖掘得到的模型有较多 的缺陷。 因此，本文在逻辑Petri网的基础上，提出了颜色逻辑Petri网的数学模 型，在逻辑Petri网的基础上进一步缓解了空间状态爆炸问题。利用向量匹配 原理，分析了颜色逻辑Petri网的运行过程，给出其变迁使能判定定理、输出 匹配定理及一步变迁标识向量等，很好的解决了逻辑Petri网的传值不确定 性。为了将逻辑Petri网引入到过程挖掘，本文在逻辑Petri网的基础上提出 了逻辑Petri工作流网的定义，然后证明了逻辑工作流网和传统工作流网是等 价的：给出了构造与逻辑工作流网等价的工作流网的方法，为将逻辑Petri 网引入到过程挖掘中打下了坚实的理论基础。在仿真实验部分，利用颜色逻 辑Petri网对简易邮箱系统建模，利用本文提出的变迁使能判定定理、输出匹 配定理及一步变迁标识向量对简易模型做了详细分析：构造了模型的可达树， 并与逻辑Petri网的可达树做了对比，很好的证明了颜色逻辑Petri网不仅可 以解决逻辑Petri网的传值不确定性，而且可以在逻辑Petri网的基础上减少