Author: fahland
Date: Mon Mar 22 16:24:24 2010
New Revision: 5535
URL: http://svn.gna.org/viewcvs/service-tech?rev=5535&view=rev
Log:
+ [analysis] algorithm to check for implied scenarios on the branching process
of an oclet system
+ [interface] check soundness of free-choice process and generate
counter-example trace in graphical editor
+ [interface] build branching processes from parameterized models
+ [interface] build branching process of Petri nets (.ptnet)
* [unfolding algorithm] options made member variables: can be set for different
BP construction/verification jobs differently
* [unfolding algorithm] to generate all
* [unfolding algorithm] fixed bug in computation of equivalence relation wrt.
cut-off events
* [synthesis] removing parallel transitions with the same label in synthesized
net
+ [interface] statistics to print size of computed prefix
* [interface] move Wizards to 'Adaptive System' category
Added:
trunk/greta/hub.top.greta.run/src/hub/top/greta/run/actions/BuildBranchingPTnet.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/run/actions/CheckSoundness.java
Modified:
trunk/greta/hub.top.greta.diagram/plugin.xml
trunk/greta/hub.top.greta.diagram/src/hub/top/adaptiveSystem/diagram/edit/parts/ConditionDoNetNameEditPart.java
trunk/greta/hub.top.greta.diagram/src/hub/top/adaptiveSystem/diagram/edit/parts/ConditionDoNetTempEditPart.java
trunk/greta/hub.top.greta.diagram/src/hub/top/adaptiveSystem/diagram/edit/parts/EventDoNetNameEditPart.java
trunk/greta/hub.top.greta.diagram/src/hub/top/adaptiveSystem/diagram/edit/parts/EventDoNetTempEditPart.java
trunk/greta/hub.top.greta.editor/icons/full/obj16/AdaptiveSystemModelFile.gif
trunk/greta/hub.top.greta.editor/plugin.properties
trunk/greta/hub.top.greta.editor/plugin.xml
trunk/greta/hub.top.greta.run/ChangeLog
trunk/greta/hub.top.greta.run/plugin.xml
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/canonical/DNode.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/canonical/DNodeBP.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/canonical/DNodeCutGenerator.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/canonical/DNodeSet.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/canonical/DNodeSys.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/oclets/canonical/DNodeSys_AdaptiveSystem.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/run/actions/ActionHelper.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/run/actions/BuildBranchingProcess2.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/run/actions/InstantiateSystem.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/synthesis/NetSynthesis.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/synthesis/NetSynthesisLocal.java
trunk/greta/hub.top.greta.run/src/hub/top/greta/verification/BuildBP.java
trunk/greta/hub.top.greta/plugin.properties
trunk/greta/hub.top.greta/plugin.xml
trunk/greta/hub.top.greta/src/hub/top/adaptiveSystem/impl/AdaptiveSystemFactoryImpl.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.
