基于着色Petri网避免并发系统死锁的方法

摘要：

为了解决并发系统中的同步互斥问题，以Petri网为系统描述工具分析了经典的哲学家进餐问题，提出了避免死锁的一种模型，并进一步讨论了用着色Petri网(Colored Petri Nets，CPN)进行建模和分析。使用着色Petri网工具——CPN Tools,实现系统建模和仿真，并进行了状态空间分析。鲒果表明该模型不存在死锁，并且通过着色Petri网建模可以使得库所和变迁的教量都大为减少，使图形更加简约。

关键词： 着色Petri网 哲学家就餐问题 并发系统 系统死锁

作者: 朱连章 魏晓慧

作者单位: 中国石油大学计算机与通信工程学院,东营 257061

会议类型: 国内会议

会议名称: 第十三届全国青年通信学术会议

会议地点: 山东烟台

会议语种:中文

页码: 749-752

在线出版日期: 2008-10-31（万方平台首次上网日期，不代表论文的发表时间）