|
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] |