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

[Martin Znamirowski]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Martin Znamirowski <znamirow>   07/02/23 11:25:08

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

Log message:
        + Added a new funtcion called "mergeParallelTransitions()" for merging
          of transitions which can only be triggered seperately and not in a row
        + Modified reduction rule RB2 to use the new function instead of the 
old one

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.h?cvsroot=bpel2owfn&r1=1.132&r2=1.133
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.cc?cvsroot=bpel2owfn&r1=1.179&r2=1.180
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-reduction.cc?cvsroot=bpel2owfn&r1=1.60&r2=1.61