Author: fahland
Date: Wed Dec 17 18:18:05 2008
New Revision: 3680
URL: http://svn.gna.org/viewcvs/service-tech?rev=3680&view=rev
Log:
+ added more philosophers challenge examples
+ rewrote the branching process algorithm, now local configurations are used to
determine the cut-off events; the branching process algorithm now runs in
polynomial time on the input specification
Added:
trunk/greta/hub.top.greta.examples/challengeExamples/philosophers/phil10.adaptivesystem
trunk/greta/hub.top.greta.examples/challengeExamples/philosophers/phil10.adaptivesystem_diagram
trunk/greta/hub.top.greta.examples/challengeExamples/philosophers/phil6.adaptivesystem
trunk/greta/hub.top.greta.examples/challengeExamples/philosophers/phil6.adaptivesystem_diagram
trunk/greta/hub.top.greta.examples/challengeExamples/philosophers/phil8.adaptivesystem
trunk/greta/hub.top.greta.examples/challengeExamples/philosophers/phil8.adaptivesystem_diagram
trunk/greta/hub.top.greta.examples/challengeExamples/philosophers/phil9.adaptivesystem
trunk/greta/hub.top.greta.examples/challengeExamples/philosophers/phil9.adaptivesystem_diagram
trunk/greta/hub.top.greta.examples/technicalExamples/merge/
trunk/greta/hub.top.greta.examples/technicalExamples/merge/merge01.adaptivesystem
trunk/greta/hub.top.greta.examples/technicalExamples/merge/merge01.adaptivesystem_diagram
Modified:
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/canonical/CNode.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/canonical/CNodeCutGenerator.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/canonical/CNodeSet.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/ts/AdaptiveSystemBP.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/ts/AdaptiveSystemState.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/run/actions/BuildBranchingProcess.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/run/actions/BuildStateSpace.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.
