[BPEL2oWFN-cvs] bpel2owfn/src petrinet-output.cc petrinet-patte...

[Martin Znamirowski]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Martin Znamirowski <znamirow>   07/09/12 11:42:04

Modified files:
        src            : petrinet-output.cc petrinet-patterns-scopes.k 
                         petrinet.cc petrinet.h 

Log message:
        - the final places of a net are now stored in a list of place pointer 
sets
        - functions have been adjusted accordingly, so that the pointers stay 
correct
        - owfn finalcondition is now generated based on the list of place 
pointer sets
        - optionalExecution now results in a correct final condition, even in 
choreography

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-output.cc?cvsroot=bpel2owfn&r1=1.112&r2=1.113
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-scopes.k?cvsroot=bpel2owfn&r1=1.54&r2=1.55
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.cc?cvsroot=bpel2owfn&r1=1.226&r2=1.227
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.h?cvsroot=bpel2owfn&r1=1.158&r2=1.159