Petri网仿真和自动化分析中的存储结构及算法研究

摘要

存储结构及算法是Petri网仿真和自动化分析研究中的重要内容.Petri网是一种特殊的有向图,通过对图的存储问题进行研究,提出了一种有向图的存储结构--树链式结构,给出了其构造算法.与其它有向图存储结构相比,它既可提高算法速度又能降低算法复杂性.树链式结构在Petri网仿真和自动化分析中应用优势明显,着重讨论了Petri网的树链式存储结构,提出了基于该存储结构的可达树生成算法.所生成的可达树的树链结构形式,利于展开Petri网的各种分析算法.