|
| From: | Christian Gierds |
| Subject: | [BPEL2oWFN-cvs] bpel2owfn/src petrinet-output.cc |
| Date: | Thu, 19 Jul 2007 12:39:04 +0000 |
CVSROOT: /sources/bpel2owfn
Module name: bpel2owfn
Changes by: Christian Gierds <gierds> 07/07/19 12:39:04
Modified files:
src : petrinet-output.cc
Log message:
* instead of FINALMARKING we now create FINALCONDITION in oWFN files
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-output.cc?cvsroot=bpel2owfn&r1=1.103&r2=1.104
| [Prev in Thread] | Current Thread | [Next in Thread] |