-
- Downloads
channel purge option
Showing
- beaver.gradle 101 additions, 0 deletionsbeaver.gradle
- build.gradle 4 additions, 9 deletionsbuild.gradle
- src/main/jastadd/bcg/TinaMarking.flex 50 additions, 0 deletionssrc/main/jastadd/bcg/TinaMarking.flex
- src/main/jastadd/bcg/TinaMarkingParser.beaver 54 additions, 0 deletionssrc/main/jastadd/bcg/TinaMarkingParser.beaver
- src/main/jastadd/bcg/TinaReachability.flex 51 additions, 0 deletionssrc/main/jastadd/bcg/TinaReachability.flex
- src/main/jastadd/bcg/TinaReachabilityParser.beaver 54 additions, 0 deletionssrc/main/jastadd/bcg/TinaReachabilityParser.beaver
- src/main/jastadd/bcg/tinaMarking.ast 7 additions, 0 deletionssrc/main/jastadd/bcg/tinaMarking.ast
- src/main/jastadd/bcg/tinaMarking.jadd 14 additions, 0 deletionssrc/main/jastadd/bcg/tinaMarking.jadd
- src/main/jastadd/bcg/tinaReachability.ast 5 additions, 0 deletionssrc/main/jastadd/bcg/tinaReachability.ast
- src/main/jastadd/flatter/transforms/TopicTransforms.jadd 111 additions, 79 deletionssrc/main/jastadd/flatter/transforms/TopicTransforms.jadd
- src/main/java/de/tudresden/inf/st/pnml/flatter/Main.java 13 additions, 8 deletionssrc/main/java/de/tudresden/inf/st/pnml/flatter/Main.java
- src/main/java/de/tudresden/inf/st/pnml/flatter/analysis/TinaUtils.java 113 additions, 0 deletions.../de/tudresden/inf/st/pnml/flatter/analysis/TinaUtils.java
- src/main/java/de/tudresden/inf/st/pnml/flatter/template/TopicTemplates.java 28 additions, 0 deletions...udresden/inf/st/pnml/flatter/template/TopicTemplates.java
- src/main/java/de/tudresden/inf/st/pnml/flatter/tina/AbstractTinaProxy.java 1 addition, 1 deletion...tudresden/inf/st/pnml/flatter/tina/AbstractTinaProxy.java
- src/main/java/de/tudresden/inf/st/pnml/flatter/tina/KtzioProxy.java 1 addition, 1 deletion...ava/de/tudresden/inf/st/pnml/flatter/tina/KtzioProxy.java
- src/main/java/de/tudresden/inf/st/pnml/flatter/tina/NdrioProxy.java 1 addition, 1 deletion...ava/de/tudresden/inf/st/pnml/flatter/tina/NdrioProxy.java
- src/main/java/de/tudresden/inf/st/pnml/flatter/tina/TinaProxy.java 2 additions, 2 deletions...java/de/tudresden/inf/st/pnml/flatter/tina/TinaProxy.java
- src/main/java/de/tudresden/inf/st/pnml/flatter/transform/TransformationUtils.java 70 additions, 0 deletions...en/inf/st/pnml/flatter/transform/TransformationUtils.java
- src/main/resources/templates/TopicPublisherTemplateFlat.pnml 114 additions, 0 deletionssrc/main/resources/templates/TopicPublisherTemplateFlat.pnml
- src/main/resources/templates/TopicSubCallbackQueueTemplateFlat.pnml 130 additions, 0 deletions...esources/templates/TopicSubCallbackQueueTemplateFlat.pnml
Loading
Please register or sign in to comment