[service-technology.org] r7646 - in /trunk/Service-Tech-Java: pnapi/ pnapi/src/hub/top/petrinet/ uma/ uma/src/hub/top/petrinet/unfold/ uma/src/hub/top/uma/ uma/src/hub/top/uma/er/ uma/src/hub/top/uma/repair/ uma/src/hub/top/uma/view/

Wed, 30 May 2012 01:17:19 -0700 

Author: fahland
Date: Wed May 30 10:17:14 2012
New Revision: 7646

URL: http://svn.gna.org/viewcvs/service-tech?rev=7646&view=rev
Log:
[Uma] & [PNAPI/Java]
* first version of synthesis from event structures
* support for model repair

Added:
    trunk/Service-Tech-Java/pnapi/build.xml
    
trunk/Service-Tech-Java/uma/src/hub/top/uma/er/EventStructureReplay_Trace2.java
Modified:
    trunk/Service-Tech-Java/pnapi/src/hub/top/petrinet/PetriNet.java
    trunk/Service-Tech-Java/uma/.classpath
    trunk/Service-Tech-Java/uma/build.am.xml
    trunk/Service-Tech-Java/uma/build.xml
    
trunk/Service-Tech-Java/uma/src/hub/top/petrinet/unfold/DNodeSys_PetriNet.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/DNodeRefold.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/DNodeSet.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/DNodeSys.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/er/Event.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/er/EventStructure.java
    
trunk/Service-Tech-Java/uma/src/hub/top/uma/er/EventStructureReplay_Trace.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/er/SynthesisFromES2.java
    
trunk/Service-Tech-Java/uma/src/hub/top/uma/repair/ModelRepair_SubProcess.java
    trunk/Service-Tech-Java/uma/src/hub/top/uma/view/ViewGeneration2.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.

Reply via email to