浅论petri网活性判定方法的探讨

《浅论petri网活性判定方法的探讨》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号：：TP301：TP301密密密密级级级：级：：公：公公公开开UDCUDC：UDC：：：单位代码单位代码：：10424：10424学位论文PetriPetri网Petri网网活性判定方法的探讨网活性判定方法的探讨徐誉尹申请学位级别：硕士学位专业名称：计算机软件与理论指导教师姓名：吴哲辉职职职职称称称称：教教教教授授山山山东东东东科科科科技技技技大大大大学学二零零六年五月论文题目：PetriPetri网活性判定方法的探讨Petri网活性判定方法的探讨作者姓名：徐徐徐誉誉誉誉尹尹尹尹入学时间入学时间：：：20020032003

2、33年年年９年９９月９月专业名称：计算机软件与理论研究方向研究方向：Petri网理论及应用指导教师：吴吴吴哲哲哲哲辉辉辉辉职职职称称称：称：：：教教教授授论文提交日期：：200：2002006200666年年年５年５５月５月月月论文答辩日期：：200：2002006200666年年年6年666月月月月授予学位日期：：：THERESEARCHOFPETRINETS'''LIVENESSDECISIONADissertationsubmittedinfulfillmentoftherequirementsofthedegreeofM

3、ASTEROFENGINEERINGfromShandongUniversityofScienceandTechnologybyXuYuyinSupervisor:ProfessorWuzhehuiCollegeofInformationScienceandEngineeringMay,2006声明本人呈交给山东科技大学的这篇硕士论文，除了所列参考文献和世所公认的文献外，全部是本人在导师指导下的研究成果。该论文尚没有呈交于其它任何学术机关作鉴定。研究生签名：日期：AFFIRMATIONAFFIRMATIONAFFIRMATION

4、Ideclarethatthisdissertation,submittedinfulfillmentoftherequirementsfortheawardofMasterofEngineering,inShandongUniversityofScienceandTechnology,iswhollymyownworkunlessreferencedofacknowledge.Thedocumenthasnotbeensubmittedforqualificationatanyotheracademicinstitute.Si

5、gnature:Date:山东科技大学硕士学位论文摘要摘摘摘要要要活性是Petri网的基本的动态性质之一，在实际系统中，尤其在火箭控制系统、医学上的生命维护系统、核电站的安全系统等有关生命、财产安全的系统中更为至关重要，在这些系统中死锁的检验与避免（即活性问题的一个方面――弱活性的判断）是系统控制研究中的一个重要课题。因此，活性判定问题是Petri网理论研究的一个重要方面。现有的文献大多从两个方面来分析Petri网的活性：一种是从Petri网自身的结构来分析，这种方法一般局限于结构特殊的Petri网子类；另一种方法是借助Petr

6、i网的分析工具――可达标识图，这种方法简单直接，不受限于Petri网的结构。对有界Petri网，通过构造其可达标识图来判定其活性是容易的，但对于大量的无界Petri网，找到一个判定其活性的一般性算法并不容易。本文通过寻找一种可覆盖图的修改形式而减少无界Petri网运行过程中信息的丢失，并利用这个修改的形式给出一个Petri网子类――无关联!¡数网系统的活性判定方法，然后在这个修改形式的基础上进一步修改而使无界Petri网运行过程中的信息丢失更少，并利用第二次的修改形式给出一个判定任意Petri网中变迁一级活到三级活的方法。关关关

7、键键键词词词：：：Petri网，可达标识图，可覆盖图，修正可覆盖图，改良可达图，活性，弱活性，活性判定山东科技大学硕士学位论文AbstractAbstractLivenessisoneofthemostbasicpropertiesofPetrinets,itiscrucialtothosesystemsaboutthesafetyoflifeandwealthsuchasrocketcontrolsystem,lifemaintenancesysteminmedicineandsafetysystemofnuclearpowe

8、rplant.Inthesesystems,theinspectionandavoidanceofdeadlocks(oneaspectoflivenesscalledasweaklivenessdecision)arethemostimportanttopic