Author: fahland
Date: Mon Dec 22 21:06:48 2008
New Revision: 3685
URL: http://svn.gna.org/viewcvs/service-tech?rev=3685&view=rev
Log:
+ extended philosophers example suite (for the PetriNets 2009 paper), now
including
specifications for philosophers with
* decent runs (each fork is alternated among its owning philosophers)
in ./challengeExamples/philosophersNonStarv/decent/
* philosophers with one missing fork, forks are passed around the table
in ./challengeExamples/philosophersNonStarv/missing/
* decent philosophers with one missing fork
in ./challengeExamples/philosophersNonStarv/decent_missing_sd/
+ added oclet-application example for merging of oclets in the strictly typed
case
in ./technicalExamples/applyOclet1/
Added:
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent/
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent/phil3_decent.adaptivesystem
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent/phil3_decent.adaptivesystem_diagram
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent/phil5b.adaptivesystem
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent/phil5b.adaptivesystem_diagram
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent_missing/
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent_missing/phil3_decent_missing.adaptivesystem
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent_missing/phil3_decent_missing.adaptivesystem_diagram
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent_missing_sd/
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent_missing_sd/phil3_decent_missing_sd.adaptivesystem
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent_missing_sd/phil3_decent_missing_sd.adaptivesystem_diagram
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent_missing_sd/phil4.adaptivesystem
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent_missing_sd/phil4.adaptivesystem_diagram
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent_missing_sd/phil5.adaptivesystem
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/decent_missing_sd/phil5.adaptivesystem_diagram
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/missing/
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/missing/phil3_missing.adaptivesystem
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/missing/phil3_missing.adaptivesystem_diagram
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/missing/phil4.adaptivesystem
trunk/greta/hub.top.greta.examples/challengeExamples/philosophersNonStarv/missing/phil4.adaptivesystem_diagram
trunk/greta/hub.top.greta.examples/technicalExamples/applyOclet1/strong-co_4_strict_type.adaptivesystem
trunk/greta/hub.top.greta.examples/technicalExamples/applyOclet1/strong-co_4_strict_type.adaptivesystem_diagram
Modified:
trunk/greta/hub.top.greta.examples/technicalExamples/applyOclet1/strong-co_3_strict_type.adaptivesystem
trunk/greta/hub.top.greta.examples/technicalExamples/applyOclet1/strong-co_3_strict_type.adaptivesystem_diagram
--
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.
