摘要：针对随机Petri网建模设计与分析的复杂性问题,通过面向对象方法在VisualC++环境下利用MFC开发了可视化的随机Petri网建模和分析工具SPNSim。利用广度优先思想,设计了可达图的生成算法,给出了随机Petri网模型的编辑器,用户可以直观方便地进行随机Petri网编辑,同时还能进行模型分析,得到可达图、稳态概率等随机Petri网特性和系统性能指标。通过对一个实例的建模与分析,结果验证了软件工具SPNSim的正确性和可用性。

摘要：众多的电梯群控系统设计解决方案仅仅基于某一具体功能模块,少有整体系统设计.为此,本文使用Petri网建模工具给出了电梯群控系统的有效模型.该模型除了整体设计外,包括程序设计流程概要建模和局部功能细化,以及电梯低高速的切换和根据交通模式切换不同停留模式的实现细节.最后用S-不变技术、可达标识图等对模型进行了验证.