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.