|
| From: | Martin Znamirowski |
| Subject: | [BPEL2oWFN-cvs] bpel2owfn/src bpel2owfn.cc petrinet-output.cc p... |
| Date: | Fri, 19 Jan 2007 11:37:16 +0000 |
CVSROOT: /sources/bpel2owfn
Module name: bpel2owfn
Changes by: Martin Znamirowski <znamirow> 07/01/19 11:37:16
Modified files:
src : bpel2owfn.cc petrinet-output.cc petrinet.h
options.h options.cc
Log message:
+ Implemented SPIN output
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/bpel2owfn.cc?cvsroot=bpel2owfn&r1=1.140&r2=1.141
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-output.cc?cvsroot=bpel2owfn&r1=1.74&r2=1.75
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.h?cvsroot=bpel2owfn&r1=1.129&r2=1.130
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/options.h?cvsroot=bpel2owfn&r1=1.44&r2=1.45
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/options.cc?cvsroot=bpel2owfn&r1=1.66&r2=1.67
| [Prev in Thread] | Current Thread | [Next in Thread] |