|
| From: | Niels Lohmann |
| Subject: | [BPEL2oWFN-cvs] bpel2owfn/src bpel2owfn.cc petrinet-patterns-sc... |
| Date: | Tue, 05 Jun 2007 14:45:04 +0000 |
CVSROOT: /sources/bpel2owfn
Module name: bpel2owfn
Changes by: Niels Lohmann <nielslohmann> 07/06/05 14:45:04
Modified files:
src : bpel2owfn.cc petrinet-patterns-scopes.k
petrinet.cc petrinet.h
Log message:
+ changed/fixed deadlock-test parameter
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/bpel2owfn.cc?cvsroot=bpel2owfn&r1=1.180&r2=1.181
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-scopes.k?cvsroot=bpel2owfn&r1=1.45&r2=1.46
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.cc?cvsroot=bpel2owfn&r1=1.216&r2=1.217
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.h?cvsroot=bpel2owfn&r1=1.150&r2=1.151
| [Prev in Thread] | Current Thread | [Next in Thread] |