Parser: added some test files and tests for multiple nodes with the same id defined in one file.
Parser: - Adapted parser for a better usage. For example added FormatException to the interfaces for more individual error messages.
- added an own ParserOutput for the lts of synet.
- fixed APTLTSParser so that only one state with a given id can be defined in the format.
Parser: - fixed the possibility for multiple nodes with the same id for petrinets
- added seperate parser output for petrify
- reactived synet converter test