基于Petri网的动态模型的构造及实现  

作　　者：杨臻[1] 

机构地区：[1]郑州师范高等专科学校,河南郑州450044

出　　处：《福建电脑》2008年第1期77-78,共2页Journal of Fujian Computer

摘　　要：文章简要地介绍了Petri网的基本定义,通过哲学家就餐问题的典型实例研究分析,构造了相应的Petri网模型,总结出了应用Petri网模型描述和分析实际问题的基本步骤。并给出了该种模型的程序实现。为计算机的有关类似问题的深入研究和分析提供了新的思路。

关 键 词：PETRI网 同步 哲学家就餐问题 多线程 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]