I suggest that every posting be related to one of the issues discussed so far. There is a lot of tools supporting high level nets, many of which with a strong modeling and simulation component and some implemented verification techniques. Some tools integrate third-party tools such as model checkers etc. for increasing their verification capabilities. Through assigning values to variables one specifies data values to be carried by tokens to be removed or produced.
Tools differ in the kind of patterns they support.
Languages used for annotating arcs range from simple ones to full programming languages. So, exchanging a HL net between any pair of tools such that the received net is behaviourally equivalent to the sent one is a rather hopeless undertaking. Sometimes, HL net editors have restricted features for drawing nets. For this purpose, the semantics of HL net inscriptions is irrelevant, and a pure textual transfer is satisfactory. Export to low level net tool Export from HL nets to LL nets makes sense since LL nets do not suffer so much from the babel of tongues discussed above.