[BPEL2oWFN-cvs] bpel2owfn/src petrinet-reduction.cc petrinet.h

[Martin Znamirowski]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Martin Znamirowski <znamirow>   07/02/01 14:14:20

Modified files:
        src            : petrinet-reduction.cc petrinet.h 

Log message:
        + Implemented Reduction Rule 4 from Staake. Tried to test with one bpel,
          no error occured, but no further reduction either. I don't know if I 
am
          able to construct a bpel file that actually triggers this reduction 
but
          I am pretty sure that it is not covered by any other of the reduction
          rules we already had.
        + Still needs some stylistic and optical improvements 

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-reduction.cc?cvsroot=bpel2owfn&r1=1.54&r2=1.55
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.h?cvsroot=bpel2owfn&r1=1.130&r2=1.131