Author: fahland
Date: Thu Aug 26 18:17:37 2010
New Revision: 6097
URL: http://svn.gna.org/viewcvs/service-tech?rev=6097&view=rev
Log:
* first changes to provide a proper command-line interface for PNAPI and Uma
* fixed a bug in the folding algorithm, that was just introduced...
* refactored code of unfolding algorithm with proper priority queue
Modified:
trunk/Service-Tech-Java/pnapi/src/hub/top/petrinet/PetriNetIO.java
trunk/Service-Tech-Java/uma/src/hub/top/scenario/DNodeSys_OcletSpecification.java
trunk/Service-Tech-Java/uma/src/hub/top/scenario/OcletIO.java
trunk/Service-Tech-Java/uma/src/hub/top/uma/DNodeBP.java
trunk/Service-Tech-Java/uma/src/hub/top/uma/DNodeSys.java
trunk/Service-Tech-Java/uma/src/hub/top/uma/Uma.java
trunk/Service-Tech-Java/uma/src/hub/top/uma/synthesis/NetSynthesis.java
trunk/Service-Tech-Java/uma/src/hub/top/uma/view/ViewGeneration.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.
