CPN Tools是一款集编辑、设计与仿真以及分析于一身的有色Petri Net（CPN）工具，即Colored Petri nets，CPN Tools4.0.1是当前最新版，有着很好的GUI，易于使用。软件特色 CPN Tools不仅
