|
| From: | Niels Lohmann |
| Subject: | [BPEL2oWFN-cvs] bpel2owfn/src petrinet-patterns-shortcuts.k pet... |
| Date: | Mon, 14 May 2007 13:15:55 +0000 |
CVSROOT: /sources/bpel2owfn
Module name: bpel2owfn
Changes by: Niels Lohmann <nielslohmann> 07/05/14 13:15:55
Modified files:
src : petrinet-patterns-shortcuts.k petrinet.cc
Log message:
+ added some warnings for huge Petri nets
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-patterns-shortcuts.k?cvsroot=bpel2owfn&r1=1.25&r2=1.26
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet.cc?cvsroot=bpel2owfn&r1=1.205&r2=1.206
| [Prev in Thread] | Current Thread | [Next in Thread] |