优先级Petri网的CPN Tools仿真模型研究

Research on Simulation Model of Petri Net with Priority by CPN Tools

优先级概念的引入,增强了有色Petri网的描述能力,但同时也导致了重复开发相似的仿真工具,造成了极大的浪费。通用的有色Petri网仿真工具CPN Tools支持功能强大的元语言(ML),扩展性比较强。在CPN Tools中利用反库所(anti place)、列表(list)和元语言(ML)等方法建立了变迁、库所和托肯三种类型优先级Petri网的仿真模型,并通过示例表明了方法的有效性,这对于优先级Petri网的仿真具有重要意义。

The introduction of the priority enhanced the description capability of Coloured Petri net, but led to heavy waste of the repeated development of simulation tools. CPN Tools supports powerful Meta Language, expansibility was strong. The CPN Tools simulation model of Petri net with transition, place and tokens＇priority was built using anti place, list and meta language. The sample shows the method of building simulation model is effective. It is important to simulate Petri net with priority.