Navigation


Introduction
Loading/Setup
Opening FSA MM
Creating a FSA
Exploring ER
Creating MM: State
Testing partial FSA
Creating MM: Transitions
Creating MM: Cardinalities
Creating MM: State Appearance
Conclusion