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

摘要：

针对分布式系统在共享资源冲突和消解的复杂性问题,综合考虑时间、空间、约束条件等因素,在混合Petri网同时具备描述离散系统和连续系统的能力的基础上,加入时间约束条件、测试孤,从而形成一个能够描述更复杂分布式系统的Petri网模型.利用Petri网描述系统的基本思想,经过扩展得出新模型,变迁使能、变迁触发和变迁冲突检测的定义.结合实例,对模型进行了仿真分析,给出了实例中系统冲突的消解方案,表明了模型的可行性.

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

所属期刊栏目：34

分类号：TP301(计算技术、计算机技术)

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

在线出版日期：2013-05-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1351-1355