Skip to main content

Petri net and labelled partial order tools

Project description

PNTools
=======

PNTools is a collection of small Python 3 scripts. These
scripts support parsing of pnml and lpo files, define a
data structure for Petri nets and labelled partial orders
and contain algorithms to work with such structures.

Modules:
--------

* partialorder.py:

This module implements classes for labelled partial orders
and a parser for .lpo-files created with VipTool or MoPeBs
(http://www.fernuni-hagen.de/sttp/forschung/mopebs.shtml)

* petrinet.py:
This module implements classes for Petri nets and a parser
for .pnml-files. (http://www.pnml.org/)

* lpo_viewer_tk.py:
This module implements a GUI for viewing labeled partial
orders. This GUI is build with Tkinter.

* petrinet_viewer_tk.py:
This module implements a GUI for viewing Petri nets. This GUI
is build with Tkinter.

* lpo_viewer.py:
This module implements a GUI for viewing labeled partial
orders. This GUI uses PyQt5!

(partial) Requirements:
-----------------------

Some of the user interfaces are build with PyQt5, therefore
you need to install Qt5 and PyQt5 if you want to use these GUIs.


Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Files for pntools, version 0.3.1
Filename, size File type Python version Upload date Hashes
Filename, size pntools-0.3.1-py3-none-any.whl (20.8 kB) File type Wheel Python version py3 Upload date Hashes View
Filename, size pntools-0.3.1.tar.gz (15.7 kB) File type Source Python version None Upload date Hashes View

Supported by

Pingdom Pingdom Monitoring Google Google Object Storage and Download Analytics Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN DigiCert DigiCert EV certificate StatusPage StatusPage Status page