Author: fahland
Date: Tue Aug 26 13:22:39 2008
New Revision: 3288
URL: http://svn.gna.org/viewcvs/service-tech?rev=3288&view=rev
Log:
+ overrode the Petri net reduction method in the ExtendedWorkflowNet class, now
implementing reduce_series_places (level 1) and reduce_identical_places (level
3)
+ moved re-implementation of reduce_series_places and reduce_series_transitions
to ExtendedWorkflowNet and restored the original implementation
Modified:
trunk/uml2owfn_soundness2/AUTHORS
trunk/uml2owfn_soundness2/ChangeLog
trunk/uml2owfn_soundness2/doc/uml2owfn.texi
trunk/uml2owfn_soundness2/src/petrinet-reduction.cc
trunk/uml2owfn_soundness2/src/petrinet-workflow.cc
trunk/uml2owfn_soundness2/src/petrinet-workflow.h
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to [EMAIL
PROTECTED] If you want to unsubscribe or make any changes to your subscription,
please go to
https://mail.gna.org/listinfo/service-tech-commits.
