A Discrete Event System manager that allows users to manipulate finite state machines and modal transition systems.
Primary LanguageJava