Author: fahland
Date: Mon Feb 9 17:18:01 2009
New Revision: 3849
URL: http://svn.gna.org/viewcvs/service-tech?rev=3849&view=rev
Log:
+ Bugfix: Updated generation of formula for safe states to consider
post-places of transitions that lie on a cycle of the net as well.
+ Modified semantics of workflow net termination semantics (parameter `-a
wfNet') which now assumes that the net terminates with a global orJoin and
tries to extend the given net to a single terminal workflow net. The log
file (`-p log') will contain an entry of this extension does not preserve
soundness.
+ updated tests to respect the new filtering criteria
Modified:
trunk/uml2owfn/ChangeLog
trunk/uml2owfn/NEWS
trunk/uml2owfn/doc/ChangeLog.texi
trunk/uml2owfn/src/internal-representation.cc
trunk/uml2owfn/src/petrinet-workflow.cc
trunk/uml2owfn/src/petrinet-workflow.h
trunk/uml2owfn/src/uml2owfn.cc
trunk/uml2owfn/tests/compiler_allformats.sh
--
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.
