CPN工具使用

安装CPN

直接安装即可，一直点next，需要Java运行环境，没有的话配置一下环境变量。

1.新建页面

右键按住不放开Tool box，新建net

2.新建Petri网

（1）库所

圆代表库所，命名p1,p2,p3，按tab键，设置变量类型（INT型），token个数（注意写法1`3代表1个3）。

（2）变迁

方框代表变迁，命名t1。

（3）有向弧

线代表有向弧，弧上标注变量n，需要定义变量，左边目录，var n:INT; ，右键按住不放开Declarations，选择新建。
与变迁相连的库所的弧上变量要一致，称为绑定。

变为绿色，即代表可激活，可执行。

执行过程

点击变迁左下角，提示选择n等于几执行

选择n=2执行，执行结果如下：
库所中的token个数发生了变化

依次执行下去即可
终态

初学记录，如有错误，还请指导。