Submitted report

There is a problem in the models with the name/label on the T23
transition (it shows T13).