Michael Amann suggested that the location id and the transition id (from the XML
format) is made visible in the system editor. This is supposed to help link the
model with a requirements document.
This bug depends on bug 143.
The plan is to add some kind of "object inspector" to the editor, similar to what is known from various IDE.
This inspector would be able to show all kinds of properties of the elements of a model, including the
Another bug for the development of this inspector should be created.