论文部分内容阅读
研究了用Petri网描述操作系统中经典的“并发操作”的例子——哲学家就餐问题，并构造了不同的Petri网模型解决死锁和无限等待问题，最后讨论了轮流进餐时不同进餐次数情况下的Petri网构造问题。
描述与求解哲学家就餐问题的Petri网模型研究
【摘 要】
：
研究了用Petri网描述操作系统中经典的“并发操作”的例子——哲学家就餐问题，并构造了不同的Petri网模型解决死锁和无限等待问题，最后讨论了轮流进餐时不同进餐次数情况下的Pe
【机 构】
：
信阳师范学院计算机科学系
【出 处】
：
信阳师范学院学报：自然科学版
【发表日期】
：
2004年4期
其他文献
流行性出血热,是由病毒引起的以全身性、广泛性、小血管损害特别是肾脏损害为主要表现的传染病.临床一般分为发热期、低血压期、少尿期、多尿期、恢复期5个阶段.笔者就其分期
2.6.15水轮气滞血瘀证因气滞而血行不畅,瘀阻水轮,以视力下降,甚则暴盲,舌黯红,脉弦涩等为常见症的证候.以往常统称为气滞血瘀证.证候:视物模糊,或视力急剧下降,甚或仅睹三光