petri网与标号偏序工具
pntools的Python项目详细描述
pntools是python 3小脚本的集合。这些
脚本支持解析pnml和lpo文件，为petri网定义一个
数据结构，并标记部分序
，并包含处理这些结构的算法。
模块：
--
*partialorder.py:
此模块为标记部分序
实现类，并为使用viptool或mopebs
（http://www.fernuni-hagen.de/sttp/forschung/mopebs.shtml）
*petrinet.py:
此模块实现petri网类和.pnml文件的解析器。（http://www.pnml.org/）这个gui是用tkinter构建的。
*petrinet_-viewer_-tk.py:
这个模块实现了一个用于查看petri网的gui。这个gui
是用tkinter构建的。
*lpo_viewer.py:
这个模块实现了一个gui，用于查看标记为partial
的订单。这个gui使用pyqt5！
（部分）要求：
——
某些用户界面是用pyqt5构建的，因此如果要使用这些gui，需要安装qt5和pyqt5。
脚本支持解析pnml和lpo文件，为petri网定义一个
数据结构，并标记部分序
，并包含处理这些结构的算法。
模块：
--
*partialorder.py:
此模块为标记部分序
实现类，并为使用viptool或mopebs
（http://www.fernuni-hagen.de/sttp/forschung/mopebs.shtml）
*petrinet.py:
此模块实现petri网类和.pnml文件的解析器。（http://www.pnml.org/）这个gui是用tkinter构建的。
*petrinet_-viewer_-tk.py:
这个模块实现了一个用于查看petri网的gui。这个gui
是用tkinter构建的。
*lpo_viewer.py:
这个模块实现了一个gui，用于查看标记为partial
的订单。这个gui使用pyqt5！
（部分）要求：
——
某些用户界面是用pyqt5构建的，因此如果要使用这些gui，需要安装qt5和pyqt5。
欢迎加入QQ群-->： 979659372
