|
| From: | Niels Lohmann |
| Subject: | [BPEL2oWFN-cvs] bpel2owfn/src petrinet-patterns-scopes.k |
| Date: | Wed, 06 Jun 2007 08:43:35 +0000 |
CVSROOT: /sources/bpel2owfn
Module name: bpel2owfn
Changes by: Niels Lohmann <nielslohmann> 07/06/06 08:43:35
Modified files:
src : petrinet-patterns-scopes.k
Log message:
+ the Petri net for a process with attribute "hu:reinstantiate" set to
"yes" is short-circuited with a transition to model reinstantiation
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-scopes.k?cvsroot=bpel2owfn&r1=1.47&r2=1.48
| [Prev in Thread] | Current Thread | [Next in Thread] |