GENET:
GEneralised NET
Synthesis
Copyright © 2008.
Universitat Politècnica de Catalunya,
Barcelona, Spain.
Overview of the tool
Genet is a
tool for the synthesis and mining of Petri nets from transition
systems. The tool is based on the theory of regions.
The input of the tool is
a transition system and, depending on the usage of the tool, it can
generate a k-bounded Petri net with reachability graph:
- bisimilar to the input
transition system (synthesis),
or
- with (maybe proper) superset language of the input's
transition system
language (mining).
Documentation
The following user manual describes
the usage of the tool.
Publications
- [CCK09]
- Josep Carmona, Jordi Cortadella, and Mike Kishinevsky. New
region-based algorithms for deriving bounded Petri nets. IEEE
Transactions on Computers, 2009.
[ bib |
DOI ]
- [CCK09b]
- J. Carmona, J. Cortadella, M. Kishinevsky.
Divide-and-Conquer Strategies to Process Mining. In Proc. 7th
International Conference on Business Process Management (BPM),
September 2009.
- [CCK09]
- J. Carmona, J. Cortadella, M. Kishinevsky.
Genet: a Tool for the Synthesis and Mining of Petri Nets. In Proc.
International
Conferences on Application of
Concurrency to System Design (ACSD),
- pages 181-185, July 2009.
- [CCKLKK08]
- J. Carmona, J. Cortadella, M. Kishinevsky, L. Lavagno,
A. Kondratyev, A. Yakovlev.
A symbolic algorithm for the synthesis of
bounded Petri nets. In Proc. International
Conferences on Application and Theory of Petri Nets and
Other Models of
Concurrency (ICATPN), pages 92-111, June 2008.
[CCK08]
- J. Carmona, J. Cortadella, M. Kishinevsky.
A
Region-Based Algorithm for Discovering Petri Nets from Event Logs. In Proc.
6th
International Conference on Business Process Management (BPM),
pages 358-373, September 2008.
Getting the tool
The Linux binaries of the tool can be obtained following this link.
GENETGUI:
A Graphical User Interface to Genet
Contact
Josep Carmona
Software Department
Universitat Politècnica de Catalunya
Barcelona, Spain.