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.

Filename, size & hash SHA256 hash help File type Python version Upload date
pntools-0.3.0-py3-none-any.whl (20.4 kB) Copy SHA256 hash SHA256 Wheel 3.4
pntools-0.3.0.tar.gz (13.8 kB) Copy SHA256 hash SHA256 Source None

Supported by

Elastic Elastic Search Pingdom Pingdom Monitoring Google Google BigQuery Sentry Sentry Error logging AWS AWS Cloud computing DataDog DataDog Monitoring Fastly Fastly CDN SignalFx SignalFx Supporter DigiCert DigiCert EV certificate StatusPage StatusPage Status page