Comment 10 for bug 1232486

Yes, we should document the TAPAAL xml syntax (on todo list). I was asking whether verifypn can read the PNML standard
syntax for untimed nets (like the ones that were distributed for the competition). This would make it easier
to communicate with other tools for untimed nets. If this is the case, I would suggest that we export the nets
from TAPAAL in this syntax directly.

Yes, transport arcs are meant as a pair of two arcs tight together. Indeed, in the untimed syntax they are the
same as an input arc and output arc.