Petri net examples (xpns)

• H2O.net (basic example)
• choice.net (non-determinism)
• critical.net (critical section: mutual exclusion)
• network.net (one part of a network protocol)
• commConcurr.net (two independent sides)
• comm.net (communicating over a common network of capacity one)