|
| From: | Christian Gierds |
| Subject: | [BPEL2oWFN-cvs] bpel2owfn/src petrinet-output.cc petrinet.cc pe... |
| Date: | Thu, 03 May 2007 09:42:05 +0000 |
CVSROOT: /sources/bpel2owfn
Module name: bpel2owfn
Changes by: Christian Gierds <gierds> 07/05/03 09:42:04
Modified files:
src : petrinet-output.cc petrinet.cc petrinet.h
Log message:
* places that were external, but are internal after choreography bear
other names
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-output.cc?cvsroot=bpel2owfn&r1=1.95&r2=1.96
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.cc?cvsroot=bpel2owfn&r1=1.199&r2=1.200
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.h?cvsroot=bpel2owfn&r1=1.142&r2=1.143
| [Prev in Thread] | Current Thread | [Next in Thread] |