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

[Christian Gierds]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Christian Gierds <gierds>       08/04/17 10:15:44

Modified files:
        src            : petrinet-output.cc 

Log message:
        * Final Markings in oWFNs resulting from BPEL processes only need to be 
covered and
          the interface place need to be empty. Therefore the FINALCONDITION 
was changed to
          "ALL_OTHER_EXTERNAL_PLACES_EMPTY"

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-output.cc?cvsroot=bpel2owfn&r1=1.115&r2=1.116