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

[Christian Gierds]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Christian Gierds <gierds>       07/02/15 15:21:20

Modified files:
        src            : ast-to-cfg.k ast-to-petrinet-new2.k cfg.cc 
                         petrinet-patterns-scopes.k 
                         petrinet-patterns-structured.k 

Log message:
        * modifications on CFG
        * implementation of EventHandler for WS-BPEL

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-to-cfg.k?cvsroot=bpel2owfn&r1=1.49&r2=1.50
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-to-petrinet-new2.k?cvsroot=bpel2owfn&r1=1.26&r2=1.27
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/cfg.cc?cvsroot=bpel2owfn&r1=1.43&r2=1.44
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-scopes.k?cvsroot=bpel2owfn&r1=1.19&r2=1.20
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-structured.k?cvsroot=bpel2owfn&r1=1.21&r2=1.22