|
| From: | Niels Lohmann |
| Subject: | [BPEL2oWFN-cvs] bpel2owfn/src petrinet-output.cc petrinet-patte... |
| Date: | Tue, 11 Sep 2007 07:28:06 +0000 |
CVSROOT: /sources/bpel2owfn
Module name: bpel2owfn
Changes by: Niels Lohmann <nielslohmann> 07/09/11 07:28:06
Modified files:
src : petrinet-output.cc petrinet-patterns-scopes.k
Log message:
+ new parameter for processes: "executionOptional" set to yes makes the
initial place part of the final marking (in disjunction with the final place)
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-output.cc?cvsroot=bpel2owfn&r1=1.111&r2=1.112
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-scopes.k?cvsroot=bpel2owfn&r1=1.53&r2=1.54
| [Prev in Thread] | Current Thread | [Next in Thread] |