Version 1.0 (16 January 2006)
   - input:
        * BPEL process compliant to the specificiation BPEL4WS version
          1.1, May 2003.

   - output:
        * LoLA Petri net

        * open workflow net

        * Dot representation

   - implemented patterns:
        * Christian Stahl. A Petri Net Semantics for BPEL.
          Informatik-Berichte 188, Humboldt-Universita"t zu Berlin,
          July 2005.
