The general framework for the tool Adam (AdamMC and AdamSYNT) providing, e.g., data structures for automata, circuits, and Petri nets with transits. Contain the packages: tools, petrinetWithTransits. Depends on the repos: libs, examples.
Primary LanguageJavaGNU General Public License v3.0GPL-3.0