|
| From: | Niels Lohmann |
| Subject: | [BPEL2oWFN-cvs] bpel2owfn/src bpel2owfn.cc helpers.h options.cc... |
| Date: | Tue, 07 Aug 2007 12:01:38 +0000 |
CVSROOT: /sources/bpel2owfn
Module name: bpel2owfn
Changes by: Niels Lohmann <nielslohmann> 07/08/07 12:01:38
Modified files:
src : bpel2owfn.cc helpers.h options.cc options.h
petrinet-output.cc petrinet.h
Log message:
+ implemented IO-annotated LoLA Petri nets for closed choreographies
+ use "-f iolola" to use them
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/bpel2owfn.cc?cvsroot=bpel2owfn&r1=1.193&r2=1.194
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/helpers.h?cvsroot=bpel2owfn&r1=1.53&r2=1.54
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/options.cc?cvsroot=bpel2owfn&r1=1.97&r2=1.98
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/options.h?cvsroot=bpel2owfn&r1=1.63&r2=1.64
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-output.cc?cvsroot=bpel2owfn&r1=1.110&r2=1.111
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.h?cvsroot=bpel2owfn&r1=1.157&r2=1.158
| [Prev in Thread] | Current Thread | [Next in Thread] |