selebrator / synthesizer Goto Github PK
View Code? Open in Web Editor NEWThis project forked from adamtool/synthesizer
The framework for the synthesis of distributed systems modeled with Petri games with transits. Contains the packages: petrigames, bddapproach, mtbddapproach. Depends on the repos: libs, framework.
License: GNU General Public License v3.0