| 基于Petri网的分布式系统冲突消解 |
| |
| 引用本文： | 宋海权,郭进,李耀. 基于Petri网的分布式系统冲突消解[J]. 计算机工程与设计, 2013, 34(4) |
| |
| 作者姓名： | 宋海权 郭进 李耀 |
| |
| 作者单位： | 西南交通大学信息科学与技术学院,四川成都,610031 |
| |
| 基金项目： | 铁道部科技研究开发计划基金项目 |
| |
| 摘 要： | 针对分布式系统在共享资源冲突和消解的复杂性问题,综合考虑时间、空间、约束条件等因素,在混合Petri网同时具备描述离散系统和连续系统的能力的基础上,加入时间约束条件、测试孤,从而形成一个能够描述更复杂分布式系统的Petri网模型.利用Petri网描述系统的基本思想,经过扩展得出新模型,变迁使能、变迁触发和变迁冲突检测的定义.结合实例,对模型进行了仿真分析,给出了实例中系统冲突的消解方案,表明了模型的可行性.
|
| 关 键 词： | 混合Petri网 测试弧 冲突 分布式系统 并发 |
Distributed system conflict checking and resolution based on Petri net |
| |
| SONG Hai-quan , GUO Jin , LI Yao. Distributed system conflict checking and resolution based on Petri net[J]. Computer Engineering and Design, 2013, 34(4) |
| |
| Authors: | SONG Hai-quan GUO Jin LI Yao |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
