基于Poses++环境的Petri网仿真方法研究

Simulation Method of Petri Nets Based on the Environment of Poses++

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

Because petri net has the problem of ＂index exploding＂ and has no explicit external I/O interface,its application in large scale system is limited. As the dynamic system simulation software,Poses ＋ ＋ fully embodies the programme thought of facing object. The paper discusses the simulation method of petri net based on the enviroment of poses ＋ ＋ ,with the modularization disposing and interface designing, solves the problem that the petri net has no external I/O interface, and partly solves the problem of ＂index exploding＂ to some extent. Finally,an airdrome system is used as an exemple for carrying out modeling, analysis and simulation, The simulation results indicate that the modal is correct and the method is practical.