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.

Source Distribution

pntools-0.2.0.tar.gz (11.3 kB view details)

Uploaded Source

Built Distribution

pntools-0.2.0-py3-none-any.whl (15.4 kB view details)

Uploaded Python 3

File details

Details for the file pntools-0.2.0.tar.gz.

File metadata

  • Download URL: pntools-0.2.0.tar.gz
  • Upload date:
  • Size: 11.3 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for pntools-0.2.0.tar.gz
Algorithm Hash digest
SHA256 1a287212a74098ad35b4804937c70baa35c3c9e1ea642459bc8c4e3fd4a0a2c4
MD5 e7bc04865b7d75f15b89758b080ada08
BLAKE2b-256 9591f08feb26e71651789d54634da629e89e599d01420d300299cba76eddc345

See more details on using hashes here.

File details

Details for the file pntools-0.2.0-py3-none-any.whl.

File metadata

File hashes

Hashes for pntools-0.2.0-py3-none-any.whl
Algorithm Hash digest
SHA256 500139d7924a30135e26efc23a43e9ac77d58192fc76b86aa65f700092cc1a8a
MD5 6b0c49c7119e6c046fa6e3a4326f516f
BLAKE2b-256 12cf5e2f08ed4cd4e76a1cd233ca4c79707c532cc20d0b93bca1d09cd0cd3102

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page