Experiments
The PNML Analyzer tool was run different petri nets. 2 were created
with PIPE and the other came from the PNML.org website:
Simple Unbounded Petri Net (created with PIPE) - Test
unbounded Petri Nets and PIPE PNML output.
Dining philosophers (from PIPE's examples) - Test bounded
Petri Net and PIPE PNML output
Dining philosophers (from PNML.org examples): Test a more
complex, bounded Petri Net and an official PNML file format.
