Author: fahland
Date: Thu Dec 8 10:32:07 2011
New Revision: 6970
URL: http://svn.gna.org/viewcvs/service-tech?rev=6970&view=rev
Log:
* made Greta data-aware using Access/CPN
Added:
trunk/Service-Tech-Java/greta/hub.top.greta.examples/hl_oclets/
trunk/Service-Tech-Java/greta/hub.top.greta.examples/hl_oclets/philosophers/
trunk/Service-Tech-Java/greta/hub.top.greta.examples/hl_oclets/philosophers/phil(i).adaptivesystem
trunk/Service-Tech-Java/greta/hub.top.greta.examples/hl_oclets/philosophers/phil(i).adaptivesystem_diagram
trunk/Service-Tech-Java/greta/hub.top.greta.examples/hl_oclets/philosophers/phil(i).ml.txt
trunk/Service-Tech-Java/greta/hub.top.greta.examples/hl_oclets/simple_count/
trunk/Service-Tech-Java/greta/hub.top.greta.examples/hl_oclets/simple_count/simple_count.adaptivesystem
trunk/Service-Tech-Java/greta/hub.top.greta.examples/hl_oclets/simple_count/simple_count.adaptivesystem_diagram
trunk/Service-Tech-Java/greta/hub.top.greta.examples/hl_oclets/simple_count/simple_count.ml.txt
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/positive/
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/positive/elevator.adaptivesystem
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/positive/elevator.adaptivesystem_diagram
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/positive_reduced/
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/positive_reduced/elevator.adaptivesystem
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/positive_reduced/elevator.adaptivesystem_diagram
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/with_negative_reduced_complete/
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/with_negative_reduced_complete/elevator.adaptivesystem
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/with_negative_reduced_complete/elevator.adaptivesystem_diagram
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/with_negative_reduced_complete2/
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/with_negative_reduced_complete2/elevator.adaptivesystem
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/with_negative_reduced_complete2/elevator.adaptivesystem_diagram
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/with_negative_simplified/
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/with_negative_simplified/elevator.adaptivesystem
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Elevator/with_negative_simplified/elevator.adaptivesystem_diagram
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Harel_RailCarSynthesis/
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Harel_RailCarSynthesis/rail_car.adaptivesystem
trunk/Service-Tech-Java/greta/hub.top.greta.examples/synthesis/Harel_RailCarSynthesis/rail_car.adaptivesystem_diagram
trunk/Service-Tech-Java/greta/hub.top.greta.examples/unfoldings/lexicographic/net_lexik.lola
Modified:
trunk/Service-Tech-Java/greta/hub.top.greta.diagram/META-INF/MANIFEST.MF
trunk/Service-Tech-Java/greta/hub.top.greta.diagram/plugin.xml
trunk/Service-Tech-Java/greta/hub.top.greta.run/META-INF/MANIFEST.MF
trunk/Service-Tech-Java/greta/hub.top.greta.run/build.properties
trunk/Service-Tech-Java/greta/hub.top.greta.run/src/hub/top/greta/simulation/AdaptiveProcessSimulationView.java
trunk/Service-Tech-Java/greta/hub.top.greta.run/src/hub/top/greta/simulation/ResetAction.java
trunk/Service-Tech-Java/greta/hub.top.greta.run/src/hub/top/greta/simulation/RunConfiguration.java
trunk/Service-Tech-Java/greta/hub.top.greta.run/src/hub/top/greta/simulation/SimulationInt_EventAction.java
trunk/Service-Tech-Java/greta/hub.top.greta.run/src/hub/top/greta/simulation/SimulationInt_EventAction2.java
trunk/Service-Tech-Java/greta/hub.top.greta.run/src/hub/top/greta/simulation/SimulationInt_OcletAction.java
trunk/Service-Tech-Java/greta/hub.top.greta.run/src/hub/top/greta/simulation/SimulationInteractiveAction.java
trunk/Service-Tech-Java/greta/hub.top.greta.run/src/hub/top/greta/simulation/StartAction.java
trunk/Service-Tech-Java/greta/hub.top.greta.run/src/hub/top/uma/DNodeSys_AdaptiveSystem.java
trunk/Service-Tech-Java/greta/hub.top.greta/META-INF/MANIFEST.MF
trunk/Service-Tech-Java/seda/hub.top.editor.lola.text/META-INF/MANIFEST.MF
trunk/Service-Tech-Java/seda/hub.top.editor.ptnetLoLA.diagram/META-INF/MANIFEST.MF
trunk/Service-Tech-Java/seda/hub.top.editor.ptnetLoLA.edit/META-INF/MANIFEST.MF
trunk/Service-Tech-Java/seda/hub.top.editor.ptnetLoLA/META-INF/MANIFEST.MF
trunk/Service-Tech-Java/seda/hub.top.editor.resource/META-INF/MANIFEST.MF
trunk/Service-Tech-Java/seda/hub.top.editor/META-INF/MANIFEST.MF
--
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.