论文部分内容阅读
由于Petri网存在“指数爆炸”和对外没有明确的输入输出接口的问题,限制了其在大型系统中的应用。Poses++作为动态系统的仿真软件,充分体现了面向对象的编程思想。该文探讨了Petri网在Poses++环境下的仿真方法,通过模块化处理和接口设计,解决了Petri网固有的对外没有输入输出接口的问题,并在一定程度上缓解了“指数爆炸”的难题,最后以机场系统为例,进行了建模、分析和仿真,仿真结果表明,模型正确,方法可行。