FR 1057

FR Number	Problem Description
1057	Transitions with the same name.
Full Description The problem can be caused by a corrupt model where there are 2 transitions that are named the same. Renaming one of each pair (and doing a full recompile), solves the problem. ObjecTime Developer 5.2 will prevent the user from generating transitions with duplicate names when this would lead to ambiguities.