[BPEL2oWFN-cvs] bpel2owfn/src petrinet-reduction.cc

[Martin Znamirowski]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Martin Znamirowski <znamirow>   07/01/10 17:52:47

Modified files:
        src            : petrinet-reduction.cc 

Log message:
        + Modified the Following functions:
        
         - reduce_identical_places()
             Now only works if all incoming and outgoing arcs of both places
             have the same weights.
         
         - reduce_identical_transitions()
             Now only works if all incoming and outgoing arcs of both 
transitions
             have weights of exactly 1 each.
        
         - reduce_series_places()
             Now only works if both included arcs have a weight of exactly 1 
each
        
         - reduce_series_transitions()
             Now only works if both included arcs have the same weights.
        
         - reduce_transitive_places()
             Now only works if both included arcs have the same weights.

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-reduction.cc?cvsroot=bpel2owfn&r1=1.51&r2=1.52