Author: fahland
Date: Fri Feb 6 23:04:32 2009
New Revision: 3836
URL: http://svn.gna.org/viewcvs/service-tech?rev=3836&view=rev
Log:
+ made filtering of processes more precise according to the semantics
implemented in the WebSphere tools: Translation now considers all pin
multiplicities, and only non-matching pairs of multiplicities (produce one
token, consume two token) are considered erroneous.
* updated ./lola/userconfig.H.full-limited to construct state space without
reduction techniques and without capacity checking
* updated analysis Makefiles to translate processes without filtering by default
Modified:
trunk/uml2owfn/ChangeLog
trunk/uml2owfn/NEWS
trunk/uml2owfn/doc/ChangeLog.texi
trunk/uml2owfn/lola/userconfig.H.full-limited
trunk/uml2owfn/scripts/Makefile
trunk/uml2owfn/scripts/repository/Makefile
trunk/uml2owfn/src/AST.cc
trunk/uml2owfn/src/internal-representation.cc
trunk/uml2owfn/src/internal-representation.h
trunk/uml2owfn/src/uml2owfn.cc
--
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.
