Initial commit

.gitignore

+build
+.gradle
+.idea
+src/gen-res/
+src/gen/
+out/
+*.class

.gitlab-ci.yml

+variables:
+  GIT_SUBMODULE_STRATEGY: recursive
+
+stages:
+  - build
+  - test
+  - ragdoc_build
+  - ragdoc_view
+  - deploy
+
+before_script:
+  - export GRADLE_USER_HOME=`pwd`/.gradle
+
+cache:
+  paths:
+    - .gradle/wrapper
+    - .gradle/caches
+
+build:
+  image: openjdk:11
+  stage: build
+  script:
+    - ./gradlew --console=plain --no-daemon assemble jar
+  artifacts:
+    paths:
+      - build/libs/*.jar
+
+test:
+  image: openjdk:11
+  stage: test
+  script:
+    - ./gradlew --console=plain --no-daemon test
+  artifacts:
+    reports:
+      junit: build/test-results/test/**/TEST-*.xml
+
+publish_dev:
+  image: openjdk:11
+  stage: deploy
+  needs:
+    - test
+  script:
+    - "./gradlew setDevVersionForCI"
+    - "./gradlew publish"

LICENSE

+BSD 3-Clause License
+
+Copyright (c) 2020, TU Dresden, Software Technology Group
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+* Redistributions of source code must retain the above copyright notice, this
+  list of conditions and the following disclaimer.
+
+* Redistributions in binary form must reproduce the above copyright notice,
+  this list of conditions and the following disclaimer in the documentation
+  and/or other materials provided with the distribution.
+
+* Neither the name of the copyright holder nor the names of its
+  contributors may be used to endorse or promote products derived from
+  this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

README.md

+# Marking and Execution support for PNML
+

build.gradle

+plugins {
+    id 'java-library'
+    id 'org.jastadd' version "${jastaddgradle_version}"
+    id 'idea'
+    id 'maven-publish'
+}
+
+group 'de.tudresden.inf.st'
+
+java.toolchain.languageVersion = JavaLanguageVersion.of(11)
+
+repositories {
+    mavenCentral()
+    maven {
+        name 'gitlab-maven'
+        url 'https://git-st.inf.tu-dresden.de/api/v4/groups/jastadd/-/packages/maven'
+    }
+}
+
+configurations {
+    model
+    relast
+    jastAddSources
+}
+
+def jastaddSources = objects.sourceDirectorySet("resources", "Resources1")
+jastaddSources.srcDir 'src/main'
+jastaddSources.include 'jastadd/**'
+
+def jastaddGenSources = objects.sourceDirectorySet("resources", "Resources2")
+jastaddGenSources.srcDir 'src/gen'
+jastaddGenSources.include 'jastadd/*.relast', 'jastadd/*.ecore.jadd'
+
+sourceSets {
+    model {
+        java {
+            srcDir 'src/gen/java'
+        }
+    }
+
+    main {
+        compileClasspath += sourceSets.model.output
+        resources {
+            source(jastaddSources)
+            source(jastaddGenSources)
+        }
+    }
+    test {
+        compileClasspath += sourceSets.model.output
+        runtimeClasspath += sourceSets.model.output
+    }
+}
+
+jar {
+    includeEmptyDirs false
+}
+
+File genSrc = file('src/gen/java')
+idea.module.generatedSourceDirs += genSrc
+
+def versionFile = 'src/main/resources/PnmlRelAstSampleExtensionVersion.properties'
+def oldProps = new Properties()
+
+try {
+    file(versionFile).withInputStream { stream -> oldProps.load(stream) }
+    version = oldProps['version']
+} catch (ignored) {
+    // this happens, if either the properties file is not present, or cannot be read from
+    throw new GradleException("File ${versionFile} not found or unreadable. Aborting.")
+}
+
+// set using `gradle newVersion -Pvalue=<VERSION>`
+task newVersion() {
+    doFirst {
+        def props = new Properties()
+        props['version'] = value
+        props.store(file(versionFile).newWriter(), null)
+    }
+}
+
+task printVersion() {
+    doLast {
+        println(version)
+    }
+}
+
+task setDevVersionForCI() {
+    doFirst {
+        def props = new Properties()
+        props['version'] = version + "-$System.env.CI_PIPELINE_IID"
+        props.store(file(versionFile).newWriter(), null)
+    }
+}
+
+dependencies {
+    // modelImplementation group: 'de.tudresden.inf.st', name: 'pnml-relast', version: "${pnml_relast_version}"
+    modelImplementation group: 'de.tudresden.inf.st', name: 'pnml-relast-marking', version: "${pnml_relast_marking_version}"
+
+    relast group: 'org.jastadd', name: 'relast', version: "${relast_version}"
+    // implementation group: 'de.tudresden.inf.st', name: 'pnml-relast', version: "${pnml_relast_version}"
+    implementation group: 'de.tudresden.inf.st', name: 'pnml-relast-marking', version: "${pnml_relast_marking_version}"
+
+    testRuntimeOnly group: 'org.junit.jupiter', name: 'junit-jupiter-engine', version: '5.8.2'
+    testImplementation group: 'org.junit.jupiter', name: 'junit-jupiter-api', version: '5.8.2'
+    testImplementation group: 'org.junit.jupiter', name: 'junit-jupiter-params', version: '5.8.2'
+    testImplementation group: 'org.assertj', name: 'assertj-core', version: '3.18.0'
+}
+
+test {
+    useJUnitPlatform()
+}
+
+// Generated files
+
+def relastInputFiles = ['build/tmp/jastadd/pnml/placeTransition.relast', 'build/tmp/jastadd/marking/Marking.relast']
+def relastOutputFiles = ['src/gen/jastadd/placeTransition.ast', 'src/gen/jastadd/placeTransition.jadd']
+
+task extractJastAddSources(type: Sync) {
+
+    dependsOn configurations.runtimeClasspath
+    configurations.runtimeClasspath.asFileTree.filter { it.toString().endsWith("pnml-relast-${pnml_relast_version}.jar") }.collect {
+        from(zipTree(it)) {
+            include "**/*.jrag"
+            include "**/*.jadd"
+            include "**/*.ast"
+            include "**/*.relast"
+            include "**/*.flex"
+            include "**/*.parser"
+        }
+    }
+    configurations.runtimeClasspath.asFileTree.filter { it.toString().endsWith("pnml-relast-marking-${pnml_relast_marking_version}.jar") }.collect {
+        from(zipTree(it)) {
+            include "**/*.jrag"
+            include "**/*.jadd"
+            include "**/*.ast"
+            include "**/*.relast"
+            include "**/*.flex"
+            include "**/*.parser"
+        }
+    }
+    includeEmptyDirs false
+    into file("${project.buildDir}/tmp")
+}
+
+task relast(type: JavaExec) {
+    group = 'Build'
+    classpath = configurations.relast
+    mainClass = 'org.jastadd.relast.compiler.Compiler'
+
+    dependsOn extractJastAddSources
+
+    doFirst {
+        delete relastOutputFiles
+        mkdir "src/gen/jastadd"
+    }
+
+    args "--useJastAddNames",
+            "--grammarName=src/gen/jastadd/placeTransition",
+            "--listClass=java.util.ArrayList",
+            "--jastAddList=JastAddList",
+            "--resolverHelper",
+            '--file'
+    args relastInputFiles
+
+    inputs.files relastInputFiles
+    outputs.files relastOutputFiles
+}
+
+jastadd {
+    configureModuleBuild()
+    modules {
+        //noinspection GroovyAssignabilityCheck
+        module('pnml') {
+
+            jastadd {
+                basedir "."
+                include "build/tmp/jastadd/**/*.ast"
+                include "build/tmp/jastadd/**/*.jadd"
+                include "build/tmp/jastadd/**/*.jrag"
+                include 'src/main/jastadd/**/*.ast'
+                include 'src/main/jastadd/**/*.jadd'
+                include 'src/main/jastadd/**/*.jrag'
+                include 'src/gen/jastadd/**/*.ast'
+                include 'src/gen/jastadd/**/*.jadd'
+                include 'src/gen/jastadd/**/*.jrag'
+            }
+        }
+    }
+
+    cleanGen.doFirst {
+        delete 'src/gen'
+        delete 'src/gen-res'
+    }
+
+    module = 'pnml'
+
+    astPackage = 'de.tudresden.inf.st.pnml.jastadd.model'
+
+    genDir = 'src/gen/java'
+
+    buildInfoDir = 'src/gen-res'
+
+//  default options are: '--rewrite=cnta', '--safeLazy', '--visitCheck=false', '--cacheCycle=false'
+    extraJastAddOptions = ['--List=JastAddList'] // '--incremental=param'
+}
+
+// publish gitlab project
+publishing {
+    publications {
+        maven(MavenPublication) {
+            from components.java
+        }
+    }
+    repositories {
+        maven {
+            url "https://git-st.inf.tu-dresden.de/api/v4/projects/$System.env.CI_PROJECT_ID/packages/maven"
+            credentials(HttpHeaderCredentials) {
+                name = 'Job-Token'
+                value = System.getenv('CI_JOB_TOKEN')
+            }
+            authentication {
+                header(HttpHeaderAuthentication)
+            }
+        }
+
+    }
+}
+
+clean.dependsOn(cleanGen)
+generateAst.dependsOn(relast, extractJastAddSources)

gradle.properties

+relast_version = 0.3.0-137
+jastaddgradle_version = 1.14.5
+pnml_relast_version = 0.4.0-6
+pnml_relast_marking_version = 0.1.0-4

gradle/wrapper/gradle-wrapper.properties

+distributionBase=GRADLE_USER_HOME
+distributionPath=wrapper/dists
+distributionUrl=https\://services.gradle.org/distributions/gradle-7.4-bin.zip
+zipStoreBase=GRADLE_USER_HOME
+zipStorePath=wrapper/dists

gradlew

+#!/usr/bin/env sh
+
+#
+# Copyright 2015 the original author or authors.
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#      https://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+
+##############################################################################
+##
+##  Gradle start up script for UN*X
+##
+##############################################################################
+
+# Attempt to set APP_HOME
+# Resolve links: $0 may be a link
+PRG="$0"
+# Need this for relative symlinks.
+while [ -h "$PRG" ] ; do
+    ls=`ls -ld "$PRG"`
+    link=`expr "$ls" : '.*-> \(.*\)$'`
+    if expr "$link" : '/.*' > /dev/null; then
+        PRG="$link"
+    else
+        PRG=`dirname "$PRG"`"/$link"
+    fi
+done
+SAVED="`pwd`"
+cd "`dirname \"$PRG\"`/" >/dev/null
+APP_HOME="`pwd -P`"
+cd "$SAVED" >/dev/null
+
+APP_NAME="Gradle"
+APP_BASE_NAME=`basename "$0"`
+
+# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+DEFAULT_JVM_OPTS='"-Xmx64m" "-Xms64m"'
+
+# Use the maximum available, or set MAX_FD != -1 to use that value.
+MAX_FD="maximum"
+
+warn () {
+    echo "$*"
+}
+
+die () {
+    echo
+    echo "$*"
+    echo
+    exit 1
+}
+
+# OS specific support (must be 'true' or 'false').
+cygwin=false
+msys=false
+darwin=false
+nonstop=false
+case "`uname`" in
+  CYGWIN* )
+    cygwin=true
+    ;;
+  Darwin* )
+    darwin=true
+    ;;
+  MINGW* )
+    msys=true
+    ;;
+  NONSTOP* )
+    nonstop=true
+    ;;
+esac
+
+CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar
+
+
+# Determine the Java command to use to start the JVM.
+if [ -n "$JAVA_HOME" ] ; then
+    if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
+        # IBM's JDK on AIX uses strange locations for the executables
+        JAVACMD="$JAVA_HOME/jre/sh/java"
+    else
+        JAVACMD="$JAVA_HOME/bin/java"
+    fi
+    if [ ! -x "$JAVACMD" ] ; then
+        die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+    fi
+else
+    JAVACMD="java"
+    which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+
+Please set the JAVA_HOME variable in your environment to match the
+location of your Java installation."
+fi
+
+# Increase the maximum file descriptors if we can.
+if [ "$cygwin" = "false" -a "$darwin" = "false" -a "$nonstop" = "false" ] ; then
+    MAX_FD_LIMIT=`ulimit -H -n`
+    if [ $? -eq 0 ] ; then
+        if [ "$MAX_FD" = "maximum" -o "$MAX_FD" = "max" ] ; then
+            MAX_FD="$MAX_FD_LIMIT"
+        fi
+        ulimit -n $MAX_FD
+        if [ $? -ne 0 ] ; then
+            warn "Could not set maximum file descriptor limit: $MAX_FD"
+        fi
+    else
+        warn "Could not query maximum file descriptor limit: $MAX_FD_LIMIT"
+    fi
+fi
+
+# For Darwin, add options to specify how the application appears in the dock
+if $darwin; then
+    GRADLE_OPTS="$GRADLE_OPTS \"-Xdock:name=$APP_NAME\" \"-Xdock:icon=$APP_HOME/media/gradle.icns\""
+fi
+
+# For Cygwin or MSYS, switch paths to Windows format before running java
+if [ "$cygwin" = "true" -o "$msys" = "true" ] ; then
+    APP_HOME=`cygpath --path --mixed "$APP_HOME"`
+    CLASSPATH=`cygpath --path --mixed "$CLASSPATH"`
+
+    JAVACMD=`cygpath --unix "$JAVACMD"`
+
+    # We build the pattern for arguments to be converted via cygpath
+    ROOTDIRSRAW=`find -L / -maxdepth 1 -mindepth 1 -type d 2>/dev/null`
+    SEP=""
+    for dir in $ROOTDIRSRAW ; do
+        ROOTDIRS="$ROOTDIRS$SEP$dir"
+        SEP="|"
+    done
+    OURCYGPATTERN="(^($ROOTDIRS))"
+    # Add a user-defined pattern to the cygpath arguments
+    if [ "$GRADLE_CYGPATTERN" != "" ] ; then
+        OURCYGPATTERN="$OURCYGPATTERN|($GRADLE_CYGPATTERN)"
+    fi
+    # Now convert the arguments - kludge to limit ourselves to /bin/sh
+    i=0
+    for arg in "$@" ; do
+        CHECK=`echo "$arg"|egrep -c "$OURCYGPATTERN" -`
+        CHECK2=`echo "$arg"|egrep -c "^-"`                                 ### Determine if an option
+
+        if [ $CHECK -ne 0 ] && [ $CHECK2 -eq 0 ] ; then                    ### Added a condition
+            eval `echo args$i`=`cygpath --path --ignore --mixed "$arg"`
+        else
+            eval `echo args$i`="\"$arg\""
+        fi
+        i=`expr $i + 1`
+    done
+    case $i in
+        0) set -- ;;
+        1) set -- "$args0" ;;
+        2) set -- "$args0" "$args1" ;;
+        3) set -- "$args0" "$args1" "$args2" ;;
+        4) set -- "$args0" "$args1" "$args2" "$args3" ;;
+        5) set -- "$args0" "$args1" "$args2" "$args3" "$args4" ;;
+        6) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" ;;
+        7) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" ;;
+        8) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" ;;
+        9) set -- "$args0" "$args1" "$args2" "$args3" "$args4" "$args5" "$args6" "$args7" "$args8" ;;
+    esac
+fi
+
+# Escape application args
+save () {
+    for i do printf %s\\n "$i" | sed "s/'/'\\\\''/g;1s/^/'/;\$s/\$/' \\\\/" ; done
+    echo " "
+}
+APP_ARGS=`save "$@"`
+
+# Collect all arguments for the java command, following the shell quoting and substitution rules
+eval set -- $DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS "\"-Dorg.gradle.appname=$APP_BASE_NAME\"" -classpath "\"$CLASSPATH\"" org.gradle.wrapper.GradleWrapperMain "$APP_ARGS"
+
+exec "$JAVACMD" "$@"

gradlew.bat

+@rem
+@rem Copyright 2015 the original author or authors.
+@rem
+@rem Licensed under the Apache License, Version 2.0 (the "License");
+@rem you may not use this file except in compliance with the License.
+@rem You may obtain a copy of the License at
+@rem
+@rem      https://www.apache.org/licenses/LICENSE-2.0
+@rem
+@rem Unless required by applicable law or agreed to in writing, software
+@rem distributed under the License is distributed on an "AS IS" BASIS,
+@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+@rem See the License for the specific language governing permissions and
+@rem limitations under the License.
+@rem
+
+@if "%DEBUG%" == "" @echo off
+@rem ##########################################################################
+@rem
+@rem  Gradle startup script for Windows
+@rem
+@rem ##########################################################################
+
+@rem Set local scope for the variables with windows NT shell
+if "%OS%"=="Windows_NT" setlocal
+
+set DIRNAME=%~dp0
+if "%DIRNAME%" == "" set DIRNAME=.
+set APP_BASE_NAME=%~n0
+set APP_HOME=%DIRNAME%
+
+@rem Resolve any "." and ".." in APP_HOME to make it shorter.
+for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi
+
+@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
+set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m"
+
+@rem Find java.exe
+if defined JAVA_HOME goto findJavaFromJavaHome
+
+set JAVA_EXE=java.exe
+%JAVA_EXE% -version >NUL 2>&1
+if "%ERRORLEVEL%" == "0" goto execute
+
+echo.
+echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
+echo.
+echo Please set the JAVA_HOME variable in your environment to match the
+echo location of your Java installation.
+
+goto fail
+
+:findJavaFromJavaHome
+set JAVA_HOME=%JAVA_HOME:"=%
+set JAVA_EXE=%JAVA_HOME%/bin/java.exe
+
+if exist "%JAVA_EXE%" goto execute
+
+echo.
+echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME%
+echo.
+echo Please set the JAVA_HOME variable in your environment to match the
+echo location of your Java installation.
+
+goto fail
+
+:execute
+@rem Setup the command line
+
+set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
+
+
+@rem Execute Gradle
+"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %*
+
+:end
+@rem End local scope for the variables with windows NT shell
+if "%ERRORLEVEL%"=="0" goto mainEnd
+
+:fail
+rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
+rem the _cmd.exe /c_ return code!
+if  not "" == "%GRADLE_EXIT_CONSOLE%" exit 1
+exit /b 1
+
+:mainEnd
+if "%OS%"=="Windows_NT" endlocal
+
+:omega

settings.gradle

+rootProject.name = 'pnml-relast-sample-extension'

src/main/resources/PnmlRelAstSampleExtensionVersion.properties

+#Sat Apr 09 20:21:46 CEST 2022
+version=0.1.0

src/test/java/de/tudresden/inf/st/pnml/PnmlTest.java

+package de.tudresden.inf.st.pnml;
+
+import de.tudresden.inf.st.pnml.jastadd.model.Marking;
+import de.tudresden.inf.st.pnml.jastadd.model.PetriNet;
+import org.junit.jupiter.params.ParameterizedTest;
+import org.junit.jupiter.params.provider.ValueSource;
+import org.slf4j.Logger;
+import org.slf4j.LoggerFactory;
+
+import java.util.List;
+import java.util.Optional;
+import java.util.Random;
+
+class PnmlTest {
+
+  private static final Logger logger = LoggerFactory.getLogger(PnmlTest.class);
+
+  /**
+   * This is a copy of the test from the marking dependency to see if all features of it still work here
+   * @param fileName file name of test PNML file
+   */
+  @ParameterizedTest
+  @ValueSource(strings = {"src/test/resources/minimal.pnml", "src/test/resources/philo.pnml", "src/test/resources/haddadin_automaton_flat.pnml"})
+  void testExecution(String fileName) {
+    List<PetriNet> petriNets = PnmlParser.parsePnml(fileName);
+
+    for (PetriNet petriNet : petriNets) {
+      Marking originalMarking = petriNet.initialMarking();
+      Marking currentMarking = originalMarking;
+      logger.info("initial marking:\n{}", originalMarking.print());
+
+      // always use seed 0, it is the best seed!
+      Random random1 = new Random(0);
+      Random random2 = new Random(0);
+
+      for (int i = 1; i <= 5 && !originalMarking.isDead() && !currentMarking.isDead(); i++) {
+
+        Optional<Marking> optionalCurrentMarking = currentMarking.fire(random1);
+        if (optionalCurrentMarking.isPresent()) {
+          currentMarking = optionalCurrentMarking.get();
+        } else {
+          throw new RuntimeException("Unable to get successor marking, even though the marking is not dead!");
+        }
+        originalMarking.fireInPlace(random2);
+        logger.info("Original marking after {} firings: {}", i, originalMarking.print());
+        logger.info("Current marking after {} firings: {}", i, currentMarking.print());
+      }
+
+      logger.info("DOT file:\n\n{}", petriNet.toDot());
+    }
+  }
+
+}

src/test/resources/minimal.pnml

+<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
+ <net id="n-E2D0-BCF46-0" type ="http://www.pnml.org/version-2009/grammar/ptnet">
+  <name>
+   <text>minimal</text>
+  </name>
+ <page id="g-E2D0-BCF68-1">
+  <place id="p-E2D0-BCF6F-2">
+  <name>
+   <text>p0</text>
+    <graphics>
+     <offset x="0" y="-10" />
+    </graphics>
+  </name>
+   <initialMarking>
+    <text>1</text>
+   </initialMarking>
+   <graphics>
+    <position x="30" y="50"/>
+   </graphics>
+  </place>
+  <place id="p-E2D0-BCF9D-3">
+  <name>
+   <text>p1</text>
+    <graphics>
+     <offset x="0" y="-10" />
+    </graphics>
+  </name>
+   <graphics>
+    <position x="635" y="90"/>
+   </graphics>
+  </place>
+  <transition id="t-E2D0-BCFAC-4">
+  <name>
+   <text>t0</text>
+    <graphics>
+     <offset x="0" y="0" />
+    </graphics>
+  </name>
+   <graphics>
+    <position x="300" y="50"/>
+   </graphics>
+  </transition>
+  <transition id="t-E2D0-BCFBD-5">
+  <name>
+   <text>t1</text>
+    <graphics>
+     <offset x="0" y="0" />
+    </graphics>
+  </name>
+   <graphics>
+    <position x="285" y="205"/>
+   </graphics>
+  </transition>
+  <arc id="e-E2D0-BCFCD-6" source="t-E2D0-BCFBD-5" target="p-E2D0-BCF6F-2">
+  </arc>
+  <arc id="e-E2D0-BCFDB-7" source="p-E2D0-BCF9D-3" target="t-E2D0-BCFBD-5">
+  </arc>
+  <arc id="e-E2D0-BCFF3-8" source="t-E2D0-BCFAC-4" target="p-E2D0-BCF9D-3">
+  </arc>
+  <arc id="e-E2D0-BCFFB-9" source="p-E2D0-BCF6F-2" target="t-E2D0-BCFAC-4">
+  </arc>
+ </page>
+ </net>
+</pnml>

src/test/resources/placeRefNet.pnml

+<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
+    <net id="n-E2D0-BCF46-0" type ="http://www.pnml.org/version-2009/grammar/ptnet">
+        <name>
+            <text>minimal</text>
+        </name>
+
+        <page id="top">
+            <page id="p1">
+                <place id="p4">
+                    <name>
+                        <text>p4</text>
+                        <graphics>
+                            <offset x="0" y="-10" />
+                        </graphics>
+                    </name>
+                    <initialMarking>
+                        <text>1</text>
+                    </initialMarking>
+                    <graphics>
+                        <position x="30" y="50"/>
+                    </graphics>
+                </place>
+                <transition id="tRefIn">
+                    <name>
+                        <text>tRefIn</text>
+                        <graphics>
+                            <offset x="0" y="0" />
+                        </graphics>
+                    </name>
+                    <graphics>
+                        <position x="285" y="205"/>
+                    </graphics>
+                </transition>
+                <referencePlace id="rp1" ref="p-E2D0-BCF6F-2">
+                    <name>
+                        <text>rp1</text>
+                        <graphics>
+                            <offset x="0" y="0" />
+                        </graphics>
+                    </name>
+                    <graphics>
+                        <position x="20" y="20"/>
+                    </graphics>
+                </referencePlace>
+                <arc id="rin" source="tRefIn" target="rp1">
+                </arc>
+                <arc id="arc-p4-TRefIn" source="p4" target="tRefIn">
+                </arc>
+            </page>
+
+            <page id="p2">
+                <place id="p-E2D0-BCF6F-2">
+                    <name>
+                        <text>p0</text>
+                        <graphics>
+                            <offset x="0" y="-10" />
+                        </graphics>
+                    </name>
+                    <initialMarking>
+                        <text>0</text>
+                    </initialMarking>
+                    <graphics>
+                        <position x="30" y="50"/>
+                    </graphics>
+                </place>
+                <place id="p-E2D0-BCF9D-3">
+                    <name>
+                        <text>p1</text>
+                        <graphics>
+                            <offset x="0" y="-10" />
+                        </graphics>
+                    </name>
+                    <graphics>
+                        <position x="635" y="90"/>
+                    </graphics>
+                </place>
+                <transition id="t-E2D0-BCFAC-4">
+                    <name>
+                        <text>t0</text>
+                        <graphics>
+                            <offset x="0" y="0" />
+                        </graphics>
+                    </name>
+                    <graphics>
+                        <position x="300" y="50"/>
+                    </graphics>
+                </transition>
+                <transition id="t-E2D0-BCFBD-5">
+                    <name>
+                        <text>t1</text>
+                        <graphics>
+                            <offset x="0" y="0" />
+                        </graphics>
+                    </name>
+                    <graphics>
+                        <position x="285" y="205"/>
+                    </graphics>
+                </transition>
+                <arc id="e-E2D0-BCFCD-6" source="t-E2D0-BCFBD-5" target="p-E2D0-BCF6F-2">
+                </arc>
+                <arc id="e-E2D0-BCFDB-7" source="p-E2D0-BCF9D-3" target="t-E2D0-BCFBD-5">
+                </arc>
+                <arc id="e-E2D0-BCFF3-8" source="t-E2D0-BCFAC-4" target="p-E2D0-BCF9D-3">
+                </arc>
+                <arc id="e-E2D0-BCFFB-9" source="p-E2D0-BCF6F-2" target="t-E2D0-BCFAC-4">
+                </arc>
+            </page>
+        </page>
+    </net>
+</pnml>

src/test/resources/transitionRefNet.pnml

+<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
+    <net id="n-E2D0-BCF46-0" type ="http://www.pnml.org/version-2009/grammar/ptnet">
+        <name>
+            <text>minimal</text>
+        </name>
+
+        <page id="top">
+            <page id="p1">
+                <place id="pRefSrc">
+                    <name>
+                        <text>pRefSrc</text>
+                        <graphics>
+                            <offset x="0" y="-10" />
+                        </graphics>
+                    </name>
+                    <initialMarking>
+                        <text>1</text>
+                    </initialMarking>
+                    <graphics>
+                        <position x="30" y="50"/>
+                    </graphics>
+                </place>
+                <referenceTransition id="rt1" ref="t-E2D0-BCFAC-4">
+                </referenceTransition>
+                <arc id="rin" source="pRefSrc" target="rt1">
+                </arc>
+            </page>
+
+            <page id="p2">
+                <place id="p-E2D0-BCF6F-2">
+                    <name>
+                        <text>p0</text>
+                        <graphics>
+                            <offset x="0" y="-10" />
+                        </graphics>
+                    </name>
+                    <initialMarking>
+                        <text>1</text>
+                    </initialMarking>
+                    <graphics>
+                        <position x="30" y="50"/>
+                    </graphics>
+                </place>
+                <place id="p-E2D0-BCF9D-3">
+                    <name>
+                        <text>p1</text>
+                        <graphics>
+                            <offset x="0" y="-10" />
+                        </graphics>
+                    </name>
+                    <graphics>
+                        <position x="635" y="90"/>
+                    </graphics>
+                </place>
+                <transition id="t-E2D0-BCFAC-4">
+                    <name>
+                        <text>t0</text>
+                        <graphics>
+                            <offset x="0" y="0" />
+                        </graphics>
+                    </name>
+                    <graphics>
+                        <position x="300" y="50"/>
+                    </graphics>
+                </transition>
+                <transition id="t-E2D0-BCFBD-5">
+                    <name>
+                        <text>t1</text>
+                        <graphics>
+                            <offset x="0" y="0" />
+                        </graphics>
+                    </name>
+                    <graphics>
+                        <position x="285" y="205"/>
+                    </graphics>
+                </transition>
+                <arc id="e-E2D0-BCFCD-6" source="t-E2D0-BCFBD-5" target="p-E2D0-BCF6F-2">
+                </arc>
+                <arc id="e-E2D0-BCFDB-7" source="p-E2D0-BCF9D-3" target="t-E2D0-BCFBD-5">
+                </arc>
+                <arc id="e-E2D0-BCFF3-8" source="t-E2D0-BCFAC-4" target="p-E2D0-BCF9D-3">
+                </arc>
+                <arc id="e-E2D0-BCFFB-9" source="p-E2D0-BCF6F-2" target="t-E2D0-BCFAC-4">
+                </arc>
+            </page>
+        </page>
+    </net>
+</pnml>