mxcl/homebrew — pull request #22648 by nlohmann (2013-09-18 10:30:17+00:00)
Title: 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).