基于Petri网的分布式系统冲突消解  

Distributed system conflict checking and resolution based on Petri net

作　　者：宋海权[1] 郭进[1] 李耀[1] 

机构地区：[1]西南交通大学信息科学与技术学院,四川成都610031

出　　处：《计算机工程与设计》2013年第4期1351-1355,共5页Computer Engineering and Design

基　　金：铁道部科技研究开发计划基金项目(2012X007-D)

摘　　要：针对分布式系统在共享资源冲突和消解的复杂性问题,综合考虑时间、空间、约束条件等因素,在混合Petri网同时具备描述离散系统和连续系统的能力的基础上,加入时间约束条件、测试弧,从而形成一个能够描述更复杂分布式系统的Petri网模型。利用Petri网描述系统的基本思想,经过扩展得出新模型,变迁使能、变迁触发和变迁冲突检测的定义。结合实例,对模型进行了仿真分析,给出了实例中系统冲突的消解方案,表明了模型的可行性。Because of the complicated problems of conflict and solving of shared resources in distributed system, the factors of time constraints, space constraints and other constraints are synthesized. Considering time constraints and test arc, a Petri Net model is formed to describe a more complicated distributed system based on that the Hybrid Petri Net can describe both discrete and continuous system. According to the basic idea of Petri Net, a new model and definition of transit enable, firing and conflict detection are expanded, and the model combined with examples is simulated. Finally, it proves feasibility of this model and offers a solving plan of system conflicts.

关 键 词：混合PETRI网 测试弧 冲突 分布式系统 并发 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]