SNAKES ： A A Flexible High-Level Petri Nets Library
SNAKES是python一个可以用于Petri网的库
python2安装SNAKES库： 在cmd命令行中输入 pip install snakes （此处需要设置了全局变量才可以直接这样 否则需要先进入python2的安装目录）
python3安装SNAKES库： 由于python2和python3有了细微的区别，pip install snakes 安装的库在python3中使用会出现Unicode is not denfine的错误。所以对于python3安装SNKAES时 需要自行下载相应的库
下载网址为 https://github.com/fpom/snakes
下载上面snakes目录 然后 使用setup.py 进行安装
终端cmd进入setup.py所在目录，然后 python setup.py install 此处的python代表python3 并且python3设置为了全局变量