[BPEL2oWFN-cvs] bpel2owfn/src ast-to-petrinet-small.k

[Christian Gierds]

CVSROOT:        /sources/bpel2owfn
Module name:    bpel2owfn
Changes by:     Christian Gierds <gierds>       07/02/02 12:51:24

Modified files:
        src            : ast-to-petrinet-small.k 

Log message:
        * when Fig. 23 has to be used (i.e. no target is built, cause Fig. 23 
is not
          implemented) an assertion fails immediatly (otherwise program would
          crash later on, when the initial place of the target is searched).

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/ast-to-petrinet-small.k?cvsroot=bpel2owfn&r1=1.84&r2=1.85