Problem with TPN Import (WoflanSerializer)

[GoogleCodeExporter]

The WoflanSerializer.parse(File) method assumes transitions defined in multiple 
lines. This assumption is not really consistent with what reported here 
http://www.win.tue.nl/~hverbeek/doku.php?id=projects:prom:plug-ins:import:tpn.

Attached to this issue you can find a patch that should fix the problem (the 
patch was designed for the Cheetah version of jbpt, but should be ok). In 
particular, now both formats should work (with transitions reported in either 
one or several lines).

Original issue reported on code.google.com by andrea.burattin on 24 Jul 2015 at 1:45

Attachments:

• patch.diff