An editor and simulator for industry workflow nets (inets), a model of interorganisational workflows based on petrinets
Project description
# in-toolset
in-toolset is an editor and (basic) simulator for industry workflow nets (inets), a model of interorganisational workflows based on petrinets.
Currently, the tool supports editing and manually simulating these industry workflows, and exporting industry nets as PNML petri nets, but support for checking for bisimilarity using LTSmin and for generating the language of triggering sequences of an inet in XES is planned, as is a model of “domains” for organisations and messages.
The toolset was originally created by: Daniel Otten, Jakob Wuhrer, Julia Bolt, Ricardo Schaaf, and Yannik Marchand, on behalf of Pieter Kwantes of Leiden University.
It is provided here licensed under the GPL version 3.
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Hashes for in_toolset-0.1.0-py3-none-any.whl
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 9ce42b231a35bbede0961e8f2473064533b5dc3058774ce40f73f50c48e1d56a |
|
| MD5 | 14cccca776374bda1a43a8019bd70143 |
|
| BLAKE2b-256 | 010b8a2fded9d9d3aacb909d4553eefce66a09a496268c8cc70ba0dd37b1c027 |
