|
| From: | Niels Lohmann |
| Subject: | [BPEL2oWFN-cvs] bpel2owfn/src options.cc petrinet-output.cc pet... |
| Date: | Thu, 26 Apr 2007 15:09:54 +0000 |
CVSROOT: /sources/bpel2owfn
Module name: bpel2owfn
Changes by: Niels Lohmann <nielslohmann> 07/04/26 15:09:54
Modified files:
src : options.cc petrinet-output.cc
petrinet-patterns-shortcuts.k
petrinet-patterns-structured.k
Log message:
+ fixed a big bug in the DPE
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/options.cc?cvsroot=bpel2owfn&r1=1.75&r2=1.76
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-output.cc?cvsroot=bpel2owfn&r1=1.92&r2=1.93
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-shortcuts.k?cvsroot=bpel2owfn&r1=1.22&r2=1.23
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-structured.k?cvsroot=bpel2owfn&r1=1.49&r2=1.50
| [Prev in Thread] | Current Thread | [Next in Thread] |