基于T图的复杂Petri网约简算法研究.pdfVIP

第30卷第1期 计算机应用与软件 V01．30No．1 2013年1月 andSoftware Jan．2013 ComputerApplications 基于T．图的复杂Petri网约简算法研究 李书举李文敬 罗锦坤 杨 文 (广西师范学院计算机与信息工程学院广西南宁530001) 摘 要 的子网划分算法，并对其子网划分过程相关概念进行形式化；最后，给出一个银行存取款系统的应用示例，对其Petri网模型的子网 划分进行理论分析和算法的编程验证，实验结果与理论分析相一致。实验结果表明，该算法是对复杂结构Petri网进行划分、化简、 分析的一种有效方法。 关键词Petri网T．图 子网划分 划分条件Petri网约简 中图分类号TP393 文献标识码A DOI：10．3969／j．issn．1000-386x．2013．01．009 RESEARCHONT．GRAPHBASEDCOMPLEXPETRINETSREDUCTION Li Li Luo Wen Jinkun ShujuWenjing Yang and TeachersEducation ofComputerInformationEngineering，Guangxi University，Nanning530001，Guangxi，China) (College A reduction for Petrinetbasedon is for the of control Abstract preblemsparallel parallel approachcomplex T-graphproposedresolving Petri the basedsubnet ofPetrinet andsimulation Petrinet．Basedon of net．we operation concurrency presentT—graph partitioningprinciple theconditionsofsubnets withitstheoreticaland of tothat，we model，and together proof examplesvalidation．According propose partition on ofitssubnets the basedsubnets ofPetri theformalisation net，and correspondingconcept presentT—graph partitioningalgorithm perform ofbank andwithdrawal