-
- Downloads
integration of reference places and reference transitions
Showing
- src/main/jastadd/Navigation.jrag 44 additions, 12 deletionssrc/main/jastadd/Navigation.jrag
- src/main/jastadd/distribution/DistributedPN.jadd 16 additions, 7 deletionssrc/main/jastadd/distribution/DistributedPN.jadd
- src/main/java/de/tudresden/inf/st/export/PnmlExporter.java 158 additions, 19 deletionssrc/main/java/de/tudresden/inf/st/export/PnmlExporter.java
- src/main/java/de/tudresden/inf/st/export/PrimitiveElementsConverter.java 85 additions, 12 deletions...e/tudresden/inf/st/export/PrimitiveElementsConverter.java
- src/main/java/de/tudresden/inf/st/pnml/Main.java 11 additions, 6 deletionssrc/main/java/de/tudresden/inf/st/pnml/Main.java
- src/main/java/de/tudresden/inf/st/pnml/PnmlRefTransitionResolver.java 53 additions, 0 deletions...a/de/tudresden/inf/st/pnml/PnmlRefTransitionResolver.java
- src/main/java/de/tudresden/inf/st/pnml/ToolSpecificsParser.java 8 additions, 4 deletions...in/java/de/tudresden/inf/st/pnml/ToolSpecificsParser.java
- src/main/java/de/tudresden/inf/st/postprocessing/GlobalToLocalNetsPostProcessor.java 0 additions, 5 deletions...inf/st/postprocessing/GlobalToLocalNetsPostProcessor.java
- src/main/java/de/tudresden/inf/st/postprocessing/IoPetriNetPostProcessor.java 8 additions, 0 deletions...resden/inf/st/postprocessing/IoPetriNetPostProcessor.java
- src/main/java/de/tudresden/inf/st/postprocessing/PostProcessingUtils.java 9 additions, 6 deletions.../tudresden/inf/st/postprocessing/PostProcessingUtils.java
- src/main/nets/refNet1.pnml 92 additions, 0 deletionssrc/main/nets/refNet1.pnml
- src/main/nets/refNet2.pnml 98 additions, 0 deletionssrc/main/nets/refNet2.pnml
Loading
Please register or sign in to comment