|
| From: | Christian Gierds |
| Subject: | [BPEL2oWFN-cvs] bpel2owfn/src bpel2owfn.cc petrinet-patterns-ba... |
| Date: | Wed, 14 Feb 2007 14:07:22 +0000 |
CVSROOT: /sources/bpel2owfn
Module name: bpel2owfn
Changes by: Christian Gierds <gierds> 07/02/14 14:07:22
Modified files:
src : bpel2owfn.cc petrinet-patterns-basic.k
Log message:
+ new terminate
+ task file for model checking lola now is also written in petrinetmode
(to check if process always reaches final marking without regarding any
communication)
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/bpel2owfn.cc?cvsroot=bpel2owfn&r1=1.141&r2=1.142
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-basic.k?cvsroot=bpel2owfn&r1=1.17&r2=1.18
| [Prev in Thread] | Current Thread | [Next in Thread] |