[service-technology.org] r5848 - in /trunk: Service-Tech-Java/pnapi/ Service-Tech-Java/pnapi/src/hub/top/petrinet/ Service-Tech-Java/pnapi/src/hub/top/petrinet/util/ Service-Tech-Java/uma/ Service-Tech-Java/uma/META-INF/ Service-Tech-Java/uma/src/hub/top/petrinet/ Service-Tech-Java/uma/src/hub/top/petrinet/unfold/ Service-Tech-Java/uma/src/hub/top/uma/ Service-Tech-Java/uma/src/hub/top/uma/synthesis/ Service-Tech-Java/uma/src/hub/top/uma/view/ greta/hub.top.greta.run/ greta/hub.top.greta.run/src/hub/top/greta/run/actions/ greta/hub.top.greta.run/src/hub/top/greta/simulation/ greta/hub.top.greta.run/src/hub/top/greta/synthesis/ greta/hub.top.greta.run/src/hub/top/greta/verification/ greta/hub.top.greta.run/src/hub/top/uma/

[Dirk Fahland]

Author: fahland
Date: Fri Jun 25 18:32:52 2010
New Revision: 5848

URL: http://svn.gna.org/viewcvs/service-tech?rev=5848&view=rev
Log:
UMA v.1.2.1
-----------

* fixed bug #16115: folding routine may result violate 1-safeness of the model
+ added methods for view generation
* more performance improvements

Greta v1.1.5
------------

* moved central synthesis code to Uma

Added:
    trunk/Service-Tech-Java/uma/src/hub/top/petrinet/PetriNetIO_out.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/synthesis/
    trunk/Service-Tech-Java/uma/src/hub/top/uma/synthesis/NetSynthesis.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/view/
    trunk/Service-Tech-Java/uma/src/hub/top/uma/view/ViewGeneration.java
    
trunk/greta/hub.top.greta.run/src/hub/top/greta/synthesis/GenerateLogTraces.java
Removed:
    trunk/Service-Tech-Java/uma/src/hub/top/uma/GraphNode.java
Modified:
    trunk/Service-Tech-Java/pnapi/README
    trunk/Service-Tech-Java/pnapi/configure.properties
    trunk/Service-Tech-Java/pnapi/src/hub/top/petrinet/Node.java
    trunk/Service-Tech-Java/pnapi/src/hub/top/petrinet/PetriNet.java
    trunk/Service-Tech-Java/pnapi/src/hub/top/petrinet/PetriNetIO.java
    trunk/Service-Tech-Java/pnapi/src/hub/top/petrinet/util/Decompose.java
    trunk/Service-Tech-Java/uma/ChangeLog
    trunk/Service-Tech-Java/uma/META-INF/MANIFEST.MF
    trunk/Service-Tech-Java/uma/src/hub/top/petrinet/Node.java
    trunk/Service-Tech-Java/uma/src/hub/top/petrinet/PetriNet.java
    
trunk/Service-Tech-Java/uma/src/hub/top/petrinet/unfold/DNodeSys_PetriNet.java
    
trunk/Service-Tech-Java/uma/src/hub/top/petrinet/unfold/Unfolder_PetriNet.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/DNode.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/DNodeBP.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/DNodeSet.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/DNodeSys.java
    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/run/actions/BuildBranchingProcess2.java
    
trunk/greta/hub.top.greta.run/src/hub/top/greta/simulation/SimulationInt_EventAction2.java
    trunk/greta/hub.top.greta.run/src/hub/top/greta/synthesis/DNode2PtNet.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/SynthesizeLabeledNetAction.java
    trunk/greta/hub.top.greta.run/src/hub/top/greta/verification/BuildBP.java
    trunk/greta/hub.top.greta.run/src/hub/top/uma/DNodeSys_AdaptiveSystem.java
    trunk/greta/hub.top.greta.run/src/hub/top/uma/DNodeSys_PtNet.java


-- 
You received this e-mail, because you subscribed the mailing list 
"service-tech-commits" which will forward you any e-mail addressed to 
service-tech-comm...@gna.org. If you want to unsubscribe or make any changes to 
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.