-
- Downloads
inputsignals, outputsignals (with bugs), net init
Showing
- build.gradle 41 additions, 5 deletionsbuild.gradle
- libs/ragconnect.base-fatjar-1.0.0-alpha.jar 0 additions, 0 deletionslibs/ragconnect.base-fatjar-1.0.0-alpha.jar
- src/main/jastadd/engine/balloonMarking/BalloonExecution.jadd 13 additions, 0 deletionssrc/main/jastadd/engine/balloonMarking/BalloonExecution.jadd
- src/main/jastadd/engine/connection/Dineros.connect 11 additions, 0 deletionssrc/main/jastadd/engine/connection/Dineros.connect
- src/main/java/de/tudresden/inf/st/pnml/engine/Main.java 103 additions, 2 deletionssrc/main/java/de/tudresden/inf/st/pnml/engine/Main.java
- src/main/java/de/tudresden/inf/st/pnml/engine/execution/DefaultFinalTransitionCallback.java 1 addition, 1 deletion...pnml/engine/execution/DefaultFinalTransitionCallback.java
- src/main/java/de/tudresden/inf/st/pnml/engine/transform/PetriNetInitializer.java 89 additions, 0 deletions...den/inf/st/pnml/engine/transform/PetriNetInitializer.java
- src/main/java/de/tudresden/inf/st/pnml/engine/transform/ServiceTransformer.java 1 addition, 32 deletions...sden/inf/st/pnml/engine/transform/ServiceTransformer.java
- src/main/resources/nets/is-test-1.pnml 34 additions, 0 deletionssrc/main/resources/nets/is-test-1.pnml
- src/main/resources/nets/is-test-2.pnml 98 additions, 0 deletionssrc/main/resources/nets/is-test-2.pnml
- src/main/resources/nets/os-test-1.pnml 55 additions, 0 deletionssrc/main/resources/nets/os-test-1.pnml
Loading
Please register or sign in to comment