* Minor reformatting
        * Minor reformatting
        * Change output of Petri Nets to files instead of standard
          output.

          Update reference output accordingly.