[BPEL2oWFN-cvs] bpel2owfn/src ast-postprocess.k ast-to-petrinet...

[Christian Gierds]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Christian Gierds <gierds>       07/01/26 14:44:40

Modified files:
        src            : ast-postprocess.k ast-to-petrinet-full2.k 
                         ast-to-xml.k ast-tools.cc 
                         petrinet-patterns-structured.k 

Log message:
        * bug fixing:
          - use of throwFault transition only when built
          - ForEach now is correctly built for sequential case
          - removed an unnecessary "a"

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-postprocess.k?cvsroot=bpel2owfn&r1=1.122&r2=1.123
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-to-petrinet-full2.k?cvsroot=bpel2owfn&r1=1.80&r2=1.81
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-to-xml.k?cvsroot=bpel2owfn&r1=1.65&r2=1.66
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-tools.cc?cvsroot=bpel2owfn&r1=1.57&r2=1.58
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-structured.k?cvsroot=bpel2owfn&r1=1.18&r2=1.19