|
| From: | Niels Lohmann |
| Subject: | [BPEL2oWFN-cvs] bpel2owfn/src petrinet-output.cc |
| Date: | Tue, 02 Jan 2007 11:46:02 +0000 |
CVSROOT: /sources/bpel2owfn
Module name: bpel2owfn
Changes by: Niels Lohmann <nielslohmann> 07/01/02 11:46:02
Modified files:
src : petrinet-output.cc
Log message:
+ markings with more than one tokens are now dotted
CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/bpel2owfn/src/petrinet-output.cc?cvsroot=bpel2owfn&r1=1.72&r2=1.73
| [Prev in Thread] | Current Thread | [Next in Thread] |