[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[BPEL2oWFN-cvs] bpel2owfn/src petrinet-output.cc
From: |
Christian Gierds |
Subject: |
[BPEL2oWFN-cvs] bpel2owfn/src petrinet-output.cc |
Date: |
Thu, 17 Apr 2008 10:15:44 +0000 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [BPEL2oWFN-cvs] bpel2owfn/src petrinet-output.cc,
Christian Gierds <=