资源描述：
《petri网精细化操作及其在系统建模中的应用new》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第18卷第8期系统仿真学报©Vol.18No.82006年8月JournalofSystemSimulationAug.,2006Petri网精细化操作及其在系统建模中的应用1,22夏传良,陆维明（1.山东建筑大学计算机学院,济南250101；2.中国科学院数学与系统科学研究院计算机科学研究室,北京100080）摘要：为了解决“顾客投诉”等这一类业务处理问题，提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网，用这两种子网分别对Petri网中的的某些变迁或库所进行细化，得到更细致、更精确的Petri网。研究了Petri网精细化操作
2、的性质保持问题，给出了这两种精细化操作保持状态机（SM）、标识图（MG）、自由选择网（FC）、非对称选择网（AC）、结构有界性、守恒性、可重复性、相容性和活性的充分条件。结果可为复杂大系统的分析提供重要手段，并特别适合于一类业务系统的描述和验证，具有一定的实用价值。关键词：Petri网；精细化操作；结构有界性；活性；系统建模中图分类号：TP31文献标识码：A文章编号：1004-731X(2006)08-2070-08PetriNetsRefinementsandItsApplicationinSystemModeling1,22XIAChuan-liang,LUWe
3、i-Ming(1.SchoolofComputerScienceandTechnology,ShandongJianzhuuniversity,Jinan250101,China;2.DepartmentofComputerScience,AcademyofMathematicsandSystemsScience,ChineseAcademyofSciences,Beijing100080,China)Abstract:Inordertosolvesomekindsofproblems,suchascustomer’ssuingforcompensation,asc
4、hemewasproposedusingPetrinetsrefinements.Petrinetswereusedinsystemmodeling.Twokindsofsubnetsweredefined.ArefinementPetrinetwasobtainedthroughusingthetwokindsofsubnetstoreplacesometransitionsorplacesoftheordinaryPetrinet.Structuralandbehavioralpropertieswereinvestigated.Thesufficientcon
5、ditionsofstatemachine(SM),markedgraph(MG),freechoicenet(FC)andasymmetricchoicenet(AC)preservationwereobtained.Thesufficientconditionsofstructuralpropertypreservationbyrefingmentswerepresented,suchasstructuralboundedness,conservativeness,repetitiveness,consistency.Thesufficientcondition
6、dsoflivenesspreservationwasalsoobtained.Theseresultsareusefulforanalyzingpropertiesforlargecomplexsystems.Therefinementmethodisalsousefulinspecificationandverificationofsomebusinesssystemsandpracticaltouseinreality.Keywords:Petrinets;refinement;structuralboundedness;liveness;systemmode
7、ling1后再对其进行精细化得到系统的精确模型。引言Petri网的精细化设计思想一直为理论界和工程界所关在日常生活中经常遇到顾客对某些销售或服务部门进注，已有大量的研究工作。Brauserd[1]根据精细化后所保持行投诉的问题。当顾客认为所购买的商品存在质量问题或对的性质的不同，将精细化操作技术分为两类：一类是保持行所得到的服务感到不满意时，就会向消费者协会等仲裁机构为性质（如活性和有界性）的精细化操作；二是保持语义等投诉销售商或服务部门，要求赔偿。仲裁机构在接受顾客的价的精细化操作。文献中的精细化操作技术（如文[10，11]）投诉后，进行调查、取证，按照调查的
