摘要
提出了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.
出处
《长沙交通学院学报》
2004年第4期21-25,共5页
Journal of Changsha Communications University
基金
湖南省自然科学基金项目(01JJY2061)
湖南省教育厅科学基金项目(01C306)
关键词
状态
变迁
线程
线程同步对象
程序仿真
state
transition
thread
thread synchronous objects
simulation