Author: fahland
Date: Mon Oct 24 11:24:17 2011
New Revision: 6922
URL: http://svn.gna.org/viewcvs/service-tech?rev=6922&view=rev
Log:
+ model simplification: mapping between event log and transitions now
a parameter of the simplification procedure
Added:
trunk/Service-Tech-Java/uma/tests/testfiles/a12f0n05_shortened.lola
Modified:
trunk/Service-Tech-Java/uma/ChangeLog
trunk/Service-Tech-Java/uma/src/hub/top/uma/synthesis/NetSynthesis.java
trunk/Service-Tech-Java/uma/src/hub/top/uma/view/MineSimplify.java
trunk/Service-Tech-Java/uma/src/hub/top/uma/view/ViewGeneration2.java
trunk/Service-Tech-Java/uma/tests/src-test/hub/top/uma/UmaFoldTest.java
trunk/Service-Tech-Java/uma/uma.properties
--
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.
