|
| From: | Martin Znamirowski |
| Subject: | [BPEL2oWFN-cvs] bpel2owfn/src petrinet-reduction.cc |
| Date: | Thu, 01 Feb 2007 12:19:08 +0000 |
CVSROOT: /sources/bpel2owfn
Module name: bpel2owfn
Changes by: Martin Znamirowski <znamirow> 07/02/01 12:19:07
Modified files:
src : petrinet-reduction.cc
Log message:
+ Improved removal of structural dead nodes. Places are now also
removed if their markings are greater than 0 but still less than the weight of
every outgoing arc
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-reduction.cc?cvsroot=bpel2owfn&r1=1.53&r2=1.54
| [Prev in Thread] | Current Thread | [Next in Thread] |