Author: fahland
Date: Wed Oct 26 10:15:20 2011
New Revision: 6930
URL: http://svn.gna.org/viewcvs/service-tech?rev=6930&view=rev
Log:
* PNAPI/Java: changed normalization of nets (introducing final places)
* Uma: more test cases for implied places
Added:
trunk/Service-Tech-Java/uma/tests/testfiles/pn_ex_01_alpha.lola
trunk/Service-Tech-Java/uma/tests/testfiles/pn_ex_01_alpha_aligned.log.txt
trunk/Service-Tech-Java/uma/tests/testfiles/pn_ex_01_ilp.log.txt
trunk/Service-Tech-Java/uma/tests/testfiles/pn_ex_01_ilp.lola
Modified:
trunk/Service-Tech-Java/pnapi/src/hub/top/petrinet/PetriNet.java
trunk/Service-Tech-Java/uma/tests/src-test/hub/top/uma/UmaImpliedTest.java
--
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.
