Simplify the default transitions in the translation of AF3 models to NuSMV
(from redmine: issue id 729, created on 2012-03-17, closed on 2012-03-17)
- Relations:
- parent #849 (closed)
(from redmine: issue id 729, created on 2012-03-17, closed on 2012-03-17)