Petri网模型的程序仿真  

Programmed Simulation of Petri Net Models

作　　者：乐晓波[1] 蔡志林[1] 

机构地区：[1]长沙理工大学,湖南长沙410076

出　　处：《长沙交通学院学报》2004年第4期21-25,共5页Journal of Changsha Communications University

基　　金：湖南省自然科学基金项目(01JJY2061);湖南省教育厅科学基金项目(01C306)

摘　　要：提出了Windows平台上Petri网模型的程序仿真方法———用Windows操作系统中的线程和线程同步对象实现Petri网模型的两个基本元素(状态和变迁)的算法,并用一个模型来验证该仿真方法的正确性。仿真结果表明,算法正确,方法可行。The authors proposed a simulation method of Petri net models using threads and thread (synchronous) objects of windows operating system to realize the algorithms of two essential elements of Petri net: the states and places. A model is present to verify the method and the simulation shows that the (algorithms) are correct and the method is feasible.

关 键 词：状态 变迁 线程 线程同步对象 程序仿真 

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