cholpon/Automata_Modeling_Framework
Automata Modeling Framework is a plug-in based on the Eclipse platform. It is aimed to facilitate graphical modeling of different types of automata and logics in one framework, in contrast to other existing frameworks that are limited to certain types of automata. The prototype covers the implementation for Markov-chain type of automata, but the architectural design of the framework allows for future extensions for other types of automata. The prototype also includes such features as XML and TikZ export of files.Demo on Youtube: http://www.youtube.com/watch?v=xKZzyGeDiz0 ("Software Engineering" team 2010, Uni Saarland)