Genet: 1.2 - Generalised Net Synthesis

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).