Closed GoogleCodeExporter closed 9 years ago
It also does not work, if any label contains an umlaut!!!
Original comment by NicoPete...@gmail.com
on 7 Aug 2008 at 11:13
Original comment by NicoPete...@gmail.com
on 7 Aug 2008 at 11:14
Original comment by NicoPete...@gmail.com
on 8 Aug 2008 at 2:27
rev808
problem with petrinets was that edges referenced undefined markers.
problem with umlaute was because of wrong string encoding.
Original comment by NicoPete...@gmail.com
on 8 Aug 2008 at 3:13
Original comment by NicoPete...@gmail.com
on 29 Aug 2008 at 1:58
Original issue reported on code.google.com by
NicoPete...@gmail.com
on 16 Jul 2008 at 9:28