[BPEL2oWFN-cvs] bpel2owfn/src petrinet.cc

[Niels Lohmann]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Niels Lohmann <nielslohmann>    07/03/26 07:54:45

Modified files:
        src            : petrinet.cc 

Log message:
        + A transition label in a constraint oWFN can now also specify place of 
the constrainted net. Then, either its preset or its postset is considered in 
the product.

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.cc?cvsroot=bpel2owfn&r1=1.193&r2=1.194