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