[service-technology.org] r6029 - in /trunk: Service-Tech-Java/pnapi/src/hub/top/petrinet/ 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/ 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/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 Aug 13 15:00:54 2010
New Revision: 6029

URL: http://svn.gna.org/viewcvs/service-tech?rev=6029&view=rev
Log:
* updated net synthesis code: synthesis now computes a future equivalence as 
defined in Fahland "From Scenarios To Components", Chapter 8.
+ added method to compare behavior of two systems by their branching processes
* several bug fixes

Modified:
    trunk/Service-Tech-Java/pnapi/src/hub/top/petrinet/PetriNet.java
    trunk/Service-Tech-Java/uma/META-INF/MANIFEST.MF
    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/InvalidModelException.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/synthesis/NetSynthesis.java
    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/run/actions/CheckSoundness.java
    
trunk/greta/hub.top.greta.run/src/hub/top/greta/synthesis/GenerateLogTraces.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/synthesis/TransitiveDependencies.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.