Adapted the grammars of the parsers to use loops instead of recursions; where it's possible. So bigger PNs and LTSs should be parsable.