Skip to content
Snippets Groups Projects
Commit cfd5c73d authored by Johannes Mey's avatar Johannes Mey
Browse files

initial commit

parents
No related branches found
No related tags found
No related merge requests found
Showing
with 2645 additions and 0 deletions
.gradle/
src/gen
.idea/
build/
out/
logs/
// General configuration (plugins, settings, dependencies)
group 'de.tudresden.inf.st'
version '0.1'
apply plugin: 'java'
apply plugin: 'jastadd'
apply plugin: 'application'
apply plugin: "idea"
sourceCompatibility = 1.8
targetCompatibility = 1.8
repositories.mavenCentral()
buildscript {
repositories.mavenCentral()
dependencies {
classpath group: 'org.jastadd', name: 'jastaddgradle', version: '1.13.3'
}
}
idea.module.generatedSourceDirs += file('src/gen/java')
sourceSets.main.java.srcDir "src/gen/java"
jar.manifest.attributes('Main-Class': 'de.tudresden.inf.st.pnml.Main')
dependencies {
implementation group: 'com.fasterxml.jackson.core', name: 'jackson-databind', version: "${jackson_version}"
implementation group: 'net.sf.beaver', name: 'beaver-rt', version: '0.9.11'
implementation group: 'org.apache.logging.log4j', name: 'log4j-api', version: '2.13.1'
implementation group: 'org.apache.logging.log4j', name: 'log4j-core', version: '2.13.1'
// pnml lib
implementation group: 'org.eclipse.emf', name: 'org.eclipse.emf.ecore', version: '2.12.0'
implementation group: 'org.eclipse.emf', name: 'org.eclipse.emf.ecore.xmi', version: '2.12.0'
implementation group: 'org.eclipse.emf', name: 'org.eclipse.emf.common', version: '2.12.0'
implementation group: 'org.eclipse.emf', name: 'org.eclipse.emf.mwe.core', version: '1.3.13'
implementation group: 'fr.lip6.pnml', name: 'fr.lip6.pnml.framework.ptnet', version: '2.2.12'
implementation group: 'fr.lip6.pnml', name: 'fr.lip6.pnml.framework.utils', version: '2.2.12'
implementation group: 'org.slf4j', name: 'slf4j-api', version: '1.7.30'
implementation group: 'org.apache.ws.commons.axiom', name: 'axiom-api', version: '1.2.22'
implementation group: 'org.apache.ws.commons.axiom', name: 'axiom-impl', version: '1.2.22'
implementation group: 'com.thaiopensource', name: 'jing', version: '20091111'
implementation group: 'org.slf4j', name: 'slf4j-log4j12', version: '1.7.30'
jastadd2 "org.jastadd:jastadd:2.3.4"
}
// Default run configuration
run {
mainClassName = 'de.tudresden.inf.st.pnml.Main'
standardInput = System.in
}
// Generated files
def ecoreFile = "./src/main/resources/placeTransition.ecore"
def relastFile = "./src/gen/jastadd/placeTransition.relast"
// First phase: Ecore -> RelAst
task ecoreToRelast(type: JavaExec) {
group = 'Build'
main = "-jar"
doFirst {
delete "src/gen/jastadd"
mkdir "src/gen/jastadd"
}
args "libs/ecore2relast-0.1.jar", ecoreFile, relastFile
inputs.files file(ecoreFile)
outputs.files file(relastFile)
}
// Second phase: RelAst -> JastAdd
task relastToJastAdd(type: JavaExec) {
group = 'Build'
main = "-jar"
args "libs/relast.jar",
"--grammarName=./src/gen/jastadd/placeTransition",
"--useJastAddNames",
"--listClass=ArrayList",
"--jastAddList=JastAddList",
"--resolverHelper",
"--file",
relastFile
inputs.files relastFile
outputs.files file("./src/gen/jastadd/placeTransition.ast"), file("./src/gen/jastadd/placeTransition.jadd")
}
// Third phase: JastAdd -> Java (using JastAdd Gradle plugin)
jastadd {
configureModuleBuild()
modules {
module("pnml") {
java {
basedir "src/"
include "main/**/*.java"
include "gen/**/*.java"
}
jastadd {
basedir "src/"
include "main/jastadd/**/*.ast"
include "main/jastadd/**/*.jadd"
include "main/jastadd/**/*.jrag"
include "gen/jastadd/**/*.ast"
include "gen/jastadd/**/*.jadd"
include "gen/jastadd/**/*.jrag"
}
scanner {
include "src/main/jastadd/PnmlScanner.flex"
}
parser {
include "src/main/jastadd/PnmlParser.parser"
}
}
}
cleanGen.doFirst {
delete "src/gen/java/de"
delete "src/gen-res/BuildInfo.properties"
}
module = "pnml"
astPackage = 'de.tudresden.inf.st.pnml.jastadd.model'
genDir = 'src/gen/java'
buildInfoDir = 'src/gen-res'
scanner.genDir = "src/gen/java/de/tudresden/inf/st/pnml/jastadd/scanner"
parser.genDir = "src/gen/java/de/tudresden/inf/st/pnml/jastadd/parser"
// default options are: '--rewrite=cnta', '--safeLazy', '--visitCheck=false', '--cacheCycle=false'
extraJastAddOptions = ['--List=JastAddList'] // '--incremental=param'
}
// Workflow configuration for phases
relastToJastAdd.dependsOn ecoreToRelast
generateAst.dependsOn relastToJastAdd
//// always run jastadd
//jastadd.outputs.upToDateWhen {false}
jackson_version = 2.9.8
apache_httpcomponents_version = 4.5.8
File added
#Fri Mar 27 11:59:50 CET 2020
distributionUrl=https\://services.gradle.org/distributions/gradle-6.0.1-all.zip
distributionBase=GRADLE_USER_HOME
distributionPath=wrapper/dists
zipStorePath=wrapper/dists
zipStoreBase=GRADLE_USER_HOME
gradlew 0 → 100755
#!/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=$((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"
# by default we should be in the correct project dir, but when run from Finder on Mac, the cwd is wrong
if [ "$(uname)" = "Darwin" ] && [ "$HOME" = "$PWD" ]; then
cd "$(dirname "$0")"
fi
exec "$JAVACMD" "$@"
@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 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 init
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 init
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
:init
@rem Get command-line arguments, handling Windows variants
if not "%OS%" == "Windows_NT" goto win9xME_args
:win9xME_args
@rem Slurp the command line arguments.
set CMD_LINE_ARGS=
set _SKIP=2
:win9xME_args_slurp
if "x%~1" == "x" goto execute
set CMD_LINE_ARGS=%*
: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 %CMD_LINE_ARGS%
: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
File added
File added
rootProject.name = 'pnml-relast'
#Sun, 29 Mar 2020 13:15:57 +0100
moduleId=pnml
moduleName=null
moduleVariant=null
timestamp=2020-03-29T13\:15Z
build.date=2020-03-29
aspect References {
syn PnObject PetriNet.resolve(String id) {
for (PnObject object : allObjects()) {
if (object.getId().equals(id)) {
return object;
}
}
throw new RuntimeException(new de.tudresden.inf.st.pnml.PnmlParseException("Unable to resolve id " + id));
}
coll java.util.Set<PnObject> PetriNet.allObjects() [new java.util.HashSet()] root PetriNet;
PnObject contributes this
to PetriNet.allObjects()
for petriNet();
inh PetriNet PnObject.petriNet();
eq PetriNet.getChild().petriNet() = this;
eq PnObject.globallyResolveArcByToken(String id) = (Arc) petriNet().resolve(id);
eq PnObject.globallyResolveNodeByToken(String id) = (Node) petriNet().resolve(id);
eq PnObject.globallyResolvePlaceNodeByToken(String id) = (PlaceNode) petriNet().resolve(id);
eq PnObject.globallyResolveTransitionNodeByToken(String id) = (TransitionNode) petriNet().resolve(id);
eq PnObject.globallyResolveRefPlaceByToken(String id) = (RefPlace) petriNet().resolve(id);
eq PnObject.globallyResolveRefTransitionByToken(String id) = (RefTransition) petriNet().resolve(id);
}
import org.apache.logging.log4j.LogManager;
import org.apache.logging.log4j.Logger;
import java.util.*;
import java.util.stream.Collectors;
aspect Logging {
static Logger ASTNode.logger = LogManager.getLogger(ASTNode.class);
}
aspect JastAddAPIExtension {
/**
* removes the object from the AST, i.e. removes the reference from its parent to the object
*
* Please note that any intrinsic non-containment relations to the object are not removed.
* @return true, if the object had a parent.
*/
public boolean ASTNode.removeSelf() {
if (getParent() == null) {
return false;
} else {
for (int childIndex = 0; childIndex < getParent().numChildren(); childIndex++) {
if (getParent().getChild(childIndex) == this) {
getParent().removeChild(childIndex);
return true;
}
}
}
throw new RuntimeException("unable to remove child, because it was not contained in its parent!");
}
}
aspect Enums{
public enum PNType {
PTNET, COREMODEL, SYMNET, HLPN;
}
public enum CSS2Color {
AQUA, BLACK, BLUE, FUCHSIA, GRAY, GREEN, LIME, MAROON, NAVY, OLIVE, ORANGE, PURPLE, RED, SILVER, TEAL, WHITE, YELLOW;
}
public enum Gradient {
HORIZONTAL, VERTICAL, DIAGONAL;
}
public enum LineShape {
LINE, CURVE;
}
public enum FontAlign {
LEFT, CENTER, RIGHT;
}
public enum FontDecoration {
UNDERLINE, OVERLINE, LINETHROUGH;
}
public enum CSS2FontFamily {
VERDANA, ARIAL, TIMES, GEORGIA, TREBUCHET;
}
public enum CSS2FontSize {
XXSMALL, XSMALL, SMALL, MEDIUM, LARGE, XLARGE, XXLARGE;
}
public enum CSS2FontStyle {
NORMAL, ITALIC, OBLIQUE;
}
public enum CSS2FontWeight {
NORMAL, BOLD, BOLDER, LIGHTER;
}
public enum LineStyle {
SOLID, DASH, DOT;
}
}
package de.tudresden.inf.st.pnml;
import de.tudresden.inf.st.pnml.jastadd.model.PetriNet;
import fr.lip6.move.pnml.framework.general.PNType;
import fr.lip6.move.pnml.framework.hlapi.HLAPIRootClass;
import fr.lip6.move.pnml.framework.utils.ModelRepository;
import fr.lip6.move.pnml.framework.utils.PNMLUtils;
import fr.lip6.move.pnml.framework.utils.exception.ImportException;
import fr.lip6.move.pnml.framework.utils.exception.InvalidIDException;
import fr.lip6.move.pnml.ptnet.hlapi.PetriNetDocHLAPI;
import org.apache.log4j.LogManager;
import org.apache.log4j.Logger;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.util.ArrayList;
import java.util.List;
public class Main {
private static Logger logger = LogManager.getLogger(Main.class);
public static void main(String[] args) {
String fileName = "src/main/resources/philo.pnml";
Path file = Paths.get(fileName);
HLAPIRootClass document = null;
try {
document = PNMLUtils.importPnmlDocument(file.toFile(), false);
System.out.println(document.toPNML());
} catch (ImportException | InvalidIDException e) {
logger.error("Unable to import PNML document from file '" + fileName + "'");
System.exit(-1);
}
System.out.println("Imported document workspace ID: " + ModelRepository.getInstance().getCurrentDocWSId());
PNType type = PNMLUtils.determinePNType(document);
switch (type) {
case PTNET:
PetriNetDocHLAPI ptDoc =
(PetriNetDocHLAPI) document;
List<PetriNet> petriNets = new ArrayList<>();
for (fr.lip6.move.pnml.ptnet.PetriNet pmnlNet : ptDoc.getNets()) {
PnmlParser parser = null;
try {
parser = new PnmlParser(pmnlNet);
petriNets.add(parser.getPetriNet());
} catch (PnmlParseException e) {
e.printStackTrace();
}
}
break;
default:
logger.error("Petri net is of unsupported type " + type.getLiteral());
System.exit(-1);
}
}
}
package de.tudresden.inf.st.pnml;
public class PnmlParseException extends Exception {
public PnmlParseException(String message) {
super(message);
}
public PnmlParseException(String message, Throwable cause) {
super(message, cause);
}
public PnmlParseException(Throwable cause) {
super(cause);
}
}
package de.tudresden.inf.st.pnml;
import de.tudresden.inf.st.pnml.jastadd.model.*;
public class PnmlParser {
private final PetriNet petriNet;
public PnmlParser(fr.lip6.move.pnml.ptnet.PetriNet source) throws PnmlParseException {
this.petriNet = getPetriNet(source);
petriNet.treeResolveAll();
}
public PetriNet getPetriNet() {
return petriNet;
}
// the get methods
private PetriNet getPetriNet(fr.lip6.move.pnml.ptnet.PetriNet source) throws PnmlParseException {
PetriNet result = new PetriNet();
fillPetriNet(source, result);
return result;
}
private Page getPage(fr.lip6.move.pnml.ptnet.Page source) throws PnmlParseException {
Page result = new Page();
fillPage(source, result);
return result;
}
private NodeGraphics getNodeGraphics(fr.lip6.move.pnml.ptnet.NodeGraphics source) {
NodeGraphics result = new NodeGraphics();
fillNodeGraphics(source, result);
return result;
}
private Line getLine(fr.lip6.move.pnml.ptnet.Line source) {
Line result = new Line();
fillLine(source, result);
return result;
}
private Fill getFill(fr.lip6.move.pnml.ptnet.Fill source) {
Fill result = new Fill();
fillFill(source, result);
return result;
}
private Dimension getDimension(fr.lip6.move.pnml.ptnet.Dimension source) {
Dimension result = new Dimension();
fillDimension(source, result);
return result;
}
private Offset getOffset(fr.lip6.move.pnml.ptnet.Offset source) {
Offset result = new Offset();
fillOffset(source, result);
return result;
}
private Position getPosition(fr.lip6.move.pnml.ptnet.Position source) {
Position result = new Position();
fillPosition(source, result);
return result;
}
private Name getName(fr.lip6.move.pnml.ptnet.Name source) {
Name result = new Name();
fillName(source, result);
return result;
}
private AnnotationGraphics getAnnotationGraphics(fr.lip6.move.pnml.ptnet.AnnotationGraphics source) {
AnnotationGraphics result = new AnnotationGraphics();
fillAnnotationGraphics(source, result);
return result;
}
private Font getFont(fr.lip6.move.pnml.ptnet.Font source) {
Font result = new Font();
fillFont(source, result);
return result;
}
private ToolInfo getToolInfo(fr.lip6.move.pnml.ptnet.ToolInfo source) {
ToolInfo result = new ToolInfo();
fillToolInfo(source, result);
return result;
}
private Node getNode(fr.lip6.move.pnml.ptnet.Node source) throws PnmlParseException {
if (source instanceof fr.lip6.move.pnml.ptnet.PlaceNode) {
return getPlaceNode((fr.lip6.move.pnml.ptnet.PlaceNode) source);
} else if (source instanceof fr.lip6.move.pnml.ptnet.TransitionNode) {
return getTransitionNode((fr.lip6.move.pnml.ptnet.TransitionNode) source);
} else {
throw new PnmlParseException("Encountered illegal unknown subtype of Node " + source.getClass().getCanonicalName());
}
}
private PlaceNode getPlaceNode(fr.lip6.move.pnml.ptnet.PlaceNode source) throws PnmlParseException {
if (source instanceof fr.lip6.move.pnml.ptnet.Place) {
return getPlace((fr.lip6.move.pnml.ptnet.Place) source);
} else if (source instanceof fr.lip6.move.pnml.ptnet.RefPlace) {
return getRefPlace((fr.lip6.move.pnml.ptnet.RefPlace) source);
} else {
throw new PnmlParseException("Encountered illegal unknown subtype of PlaceNode " + source.getClass().getCanonicalName());
}
}
private Place getPlace(fr.lip6.move.pnml.ptnet.Place source) {
Place result = new Place();
fillPlace(source, result);
return result;
}
private PTMarking getPTMarking(fr.lip6.move.pnml.ptnet.PTMarking source) {
PTMarking result = new PTMarking();
fillPTMarking(source, result);
return result;
}
private RefPlace getRefPlace(fr.lip6.move.pnml.ptnet.RefPlace source) {
RefPlace result = new RefPlace();
fillRefPlace(source, result);
return result;
}
private TransitionNode getTransitionNode(fr.lip6.move.pnml.ptnet.TransitionNode source) throws PnmlParseException {
if (source instanceof fr.lip6.move.pnml.ptnet.Transition) {
return getTransition((fr.lip6.move.pnml.ptnet.Transition) source);
} else if (source instanceof fr.lip6.move.pnml.ptnet.RefTransition) {
return getRefTransition((fr.lip6.move.pnml.ptnet.RefTransition) source);
} else {
throw new PnmlParseException("Encountered illegal unknown subtype of TransitionNode " + source.getClass().getCanonicalName());
}
}
private RefTransition getRefTransition(fr.lip6.move.pnml.ptnet.RefTransition source) {
RefTransition result = new RefTransition();
fillRefTransition(source, result);
return result;
}
private Transition getTransition(fr.lip6.move.pnml.ptnet.Transition source) {
Transition result = new Transition();
fillTransition(source, result);
return result;
}
private Arc getArc(fr.lip6.move.pnml.ptnet.Arc source) {
Arc result = new Arc();
fillArc(source, result);
return result;
}
private PTArcAnnotation getPTArcannotation(fr.lip6.move.pnml.ptnet.PTArcAnnotation source) {
PTArcAnnotation result = new PTArcAnnotation();
fillPTAnnotation(source, result);
return result;
}
private ArcGraphics getArcGraphics(fr.lip6.move.pnml.ptnet.ArcGraphics source) {
ArcGraphics result = new ArcGraphics();
fillArcGraphics(source, result);
return result;
}
private PnObject getPnObject(fr.lip6.move.pnml.ptnet.PnObject source) throws PnmlParseException {
if (source instanceof fr.lip6.move.pnml.ptnet.Page) {
return getPage((fr.lip6.move.pnml.ptnet.Page) source);
} else if (source instanceof Node) {
return getNode((fr.lip6.move.pnml.ptnet.Node) source);
} else if (source instanceof fr.lip6.move.pnml.ptnet.Arc) {
return getArc((fr.lip6.move.pnml.ptnet.Arc) source);
} else if (source instanceof fr.lip6.move.pnml.ptnet.Node) {
return getNode((fr.lip6.move.pnml.ptnet.Node) source);
} else {
throw new PnmlParseException("Encountered illegal unknown subtype of PnObject " + source.getClass().getCanonicalName());
}
}
// the fill methods
private void fillPetriNet(fr.lip6.move.pnml.ptnet.PetriNet source, PetriNet result) throws PnmlParseException {
for (fr.lip6.move.pnml.ptnet.Page page : source.getPages()) {
result.addPage(getPage(page));
}
if (source.getName() != null) {
result.setName(getName(source.getName()));
}
for (fr.lip6.move.pnml.ptnet.ToolInfo toolInfo : source.getToolspecifics()) {
result.addToolspecific(getToolInfo(toolInfo));
}
result.setId(source.getId());
if (source.getType() == fr.lip6.move.pnml.ptnet.PNType.PTNET) {
result.setType(PNType.PTNET);
} else {
throw new PnmlParseException("Illegal Petri Net type '" + source.getType().getLiteral() + "' encountered.");
}
}
private void fillPage(fr.lip6.move.pnml.ptnet.Page source, Page result) throws PnmlParseException {
fillPnObject(source, result);
for (fr.lip6.move.pnml.ptnet.PnObject object : source.getObjects()) {
result.addObject(getPnObject(object));
}
if (source.getNodegraphics() != null) {
result.setNodeGraphics(getNodeGraphics(source.getNodegraphics()));
}
}
private void fillPnObject(fr.lip6.move.pnml.ptnet.PnObject source, PnObject result) {
if (source.getName() != null) {
result.setName(getName(source.getName()));
}
for (fr.lip6.move.pnml.ptnet.ToolInfo toolInfo : source.getToolspecifics()) {
result.addToolspecific(getToolInfo(toolInfo));
}
result.setId(source.getId());
}
private void fillNodeGraphics(fr.lip6.move.pnml.ptnet.NodeGraphics source, NodeGraphics result) {
if (source.getPosition() != null) {
result.setPosition(getPosition(source.getPosition()));
}
if (source.getDimension() != null) {
result.setDimension(getDimension(source.getDimension()));
}
if (source.getFill() != null) {
result.setFill(getFill(source.getFill()));
}
if (source.getLine() != null) {
result.setLine(getLine(source.getLine()));
}
}
private void fillLine(fr.lip6.move.pnml.ptnet.Line source, Line result) {
result.setColor(CSS2Color.valueOf(source.getColor().getName()));
result.setShape(LineShape.valueOf(source.getShape().getName()));
result.setWidth(source.getWidth());
result.setStyle(LineStyle.valueOf(source.getStyle().getName()));
}
private void fillFill(fr.lip6.move.pnml.ptnet.Fill source, Fill result) {
result.setColor(CSS2Color.valueOf(source.getColor().getName()));
result.setGradientcolor(CSS2Color.valueOf(source.getGradientcolor().getName()));
result.setGradientrotation(Gradient.valueOf(source.getGradientrotation().getName()));
result.setImage(source.getImage());
}
private void fillDimension(fr.lip6.move.pnml.ptnet.Dimension source, Dimension result) {
fillCoordinate(source, result);
}
private void fillCoordinate(fr.lip6.move.pnml.ptnet.Coordinate source, Coordinate result) {
result.setX(source.getX());
result.setY(source.getY());
}
private void fillOffset(fr.lip6.move.pnml.ptnet.Offset source, Offset result) {
fillCoordinate(source, result);
}
private void fillPosition(fr.lip6.move.pnml.ptnet.Position source, Position result) {
fillCoordinate(source, result);
}
private void fillName(fr.lip6.move.pnml.ptnet.Name source, Name result) {
fillAnnotation(source, result);
result.setText(source.getText());
}
private void fillAnnotation(fr.lip6.move.pnml.ptnet.Annotation source, Annotation result) {
if (source.getAnnotationgraphics() != null) {
result.setAnnotationGraphics(getAnnotationGraphics(source.getAnnotationgraphics()));
}
fillLabel(source, result);
}
private void fillLabel(fr.lip6.move.pnml.ptnet.Annotation source, Annotation result) {
for (fr.lip6.move.pnml.ptnet.ToolInfo info : source.getToolspecifics()) {
result.addToolspecific(getToolInfo(info));
}
}
private void fillAnnotationGraphics(fr.lip6.move.pnml.ptnet.AnnotationGraphics source, AnnotationGraphics result) {
if (source.getOffset() != null) {
result.setOffset(getOffset(source.getOffset()));
}
if (source.getFill() != null) {
result.setFill(getFill(source.getFill()));
}
if (source.getLine() != null) {
result.setLine(getLine(source.getLine()));
}
if (source.getFont() != null) {
result.setFont(getFont(source.getFont()));
}
}
private void fillFont(fr.lip6.move.pnml.ptnet.Font source, Font result) {
result.setAlign(FontAlign.valueOf(source.getAlign().getName()));
result.setDecoration(FontDecoration.valueOf(source.getDecoration().getName()));
result.setFamily(CSS2FontFamily.valueOf(source.getFamily().getName()));
result.setRotation(source.getRotation());
result.setSize(CSS2FontSize.valueOf(source.getSize().getName()));
result.setStyle(CSS2FontStyle.valueOf(source.getStyle().getName()));
result.setWeight(CSS2FontWeight.valueOf(source.getWeight().getName()));
}
private void fillToolInfo(fr.lip6.move.pnml.ptnet.ToolInfo source, ToolInfo result) {
result.setTool(source.getTool());
result.setVersion(source.getVersion());
result.setFormattedXMLBuffer(source.getFormattedXMLBuffer());
result.setToolInfoGrammarURI(source.getToolInfoGrammarURI());
}
private void fillPlace(fr.lip6.move.pnml.ptnet.Place source, Place result) {
fillPlaceNode(source, result);
if (source.getInitialMarking() != null) {
result.setInitialMarking(getPTMarking(source.getInitialMarking()));
}
}
private void fillPTMarking(fr.lip6.move.pnml.ptnet.PTMarking source, PTMarking result) {
fillAnnotation(source, result);
// whatever this is supposed to be. they changed the Integer to Long
result.setText(Math.toIntExact(source.getText()));
}
private void fillRefPlace(fr.lip6.move.pnml.ptnet.RefPlace source, RefPlace result) {
fillPlaceNode(source, result);
result.setRef(PlaceNode.createRefDirection(source.getRef().getId()));
}
private void fillPlaceNode(fr.lip6.move.pnml.ptnet.PlaceNode source, PlaceNode result) {
fillNode(source, result);
for (fr.lip6.move.pnml.ptnet.RefPlace referencingPlace : source.getReferencingPlaces()) {
result.addReferencingPlace(RefPlace.createRefDirection(referencingPlace.getId()));
}
}
private void fillRefTransition(fr.lip6.move.pnml.ptnet.RefTransition source, RefTransition result) {
fillTransitionNode(source, result);
result.setRef(TransitionNode.createRefDirection(source.getRef().getId()));
}
private void fillTransitionNode(fr.lip6.move.pnml.ptnet.TransitionNode source, TransitionNode result) {
fillNode(source, result);
for (fr.lip6.move.pnml.ptnet.RefTransition refTransition : source.getReferencingTransitions()) {
result.addReferencingTransition(RefTransition.createRefDirection(refTransition.getId()));
}
}
private void fillTransition(fr.lip6.move.pnml.ptnet.Transition source, Transition result) {
fillTransitionNode(source, result);
}
private void fillNode(fr.lip6.move.pnml.ptnet.Node source, Node result) {
fillPnObject(source, result);
if (source.getNodegraphics() != null) {
result.setNodeGraphics(getNodeGraphics(source.getNodegraphics()));
}
for (fr.lip6.move.pnml.ptnet.Arc outArc : source.getOutArcs()) {
result.addOutArc(Arc.createRefDirection(outArc.getId()));
}
for (fr.lip6.move.pnml.ptnet.Arc inArc : source.getInArcs()) {
result.addInArc(Arc.createRefDirection(inArc.getId()));
}
}
private void fillArc(fr.lip6.move.pnml.ptnet.Arc source, Arc result) {
fillPnObject(source, result);
if (source.getArcgraphics() != null) {
result.setArcGraphics(getArcGraphics(source.getArcgraphics()));
}
if (source.getInscription() != null) {
result.setInscription(getPTArcannotation(source.getInscription()));
}
result.setSource(Node.createRefDirection(source.getSource().getId()));
result.setTarget(Node.createRefDirection(source.getTarget().getId()));
}
private void fillPTAnnotation(fr.lip6.move.pnml.ptnet.PTArcAnnotation source, PTArcAnnotation result) {
fillAnnotation(source, result);
// whatever this is supposed to be. they changed the Integer to Long
result.setText(Math.toIntExact(source.getText()));
}
private void fillArcGraphics(fr.lip6.move.pnml.ptnet.ArcGraphics source, ArcGraphics result) {
for (fr.lip6.move.pnml.ptnet.Position position : source.getPositions()) {
result.addPosition(getPosition(position));
}
if (source.getLine() != null) {
result.setLine(getLine(source.getLine()));
}
}
}
<?xml version="1.0" encoding="UTF-8"?>
<Configuration>
<Appenders>
<Console name="Console">
<PatternLayout pattern="%highlight{%d{HH:mm:ss.SSS} %-5level} %c{1.} - %msg%n"/>
</Console>
<RollingFile name="RollingFile" fileName="logs/statemachine.log"
filePattern="logs/pnml-%i.log">
<PatternLayout pattern="%d{HH:mm:ss.SSS} %-5level %logger{36} - %msg%n"/>
<Policies>
<OnStartupTriggeringPolicy/>
</Policies>
<DefaultRolloverStrategy max="20"/>
</RollingFile>
</Appenders>
<Loggers>
<Root level="info">
<AppenderRef ref="Console"/>
<AppenderRef ref="RollingFile"/>
</Root>
</Loggers>
</Configuration>
<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
<net id="i943123747" type="http://www.pnml.org/version-2009/grammar/ptnet">
<name>
<text>philo</text>
</name>
<page id="i-1410027568">
<place id="cId175-i943123747">
<name>
<text>FORK_1</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="500" y="692"/>
</graphics>
<initialMarking>
<text>1</text>
<graphics>
<offset x="22" y="20"/>
</graphics>
</initialMarking>
</place>
<place id="cId169-i943123747">
<name>
<text>WAIT_RIGHT_FORK_2</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="308" y="862"/>
</graphics>
</place>
<place id="cId171-i943123747">
<name>
<text>FORK_3</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="334" y="404"/>
</graphics>
<initialMarking>
<text>1</text>
<graphics>
<offset x="22" y="20"/>
</graphics>
</initialMarking>
</place>
<place id="cId172-i943123747">
<name>
<text>WAIT_RIGHT_FORK_5</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="692" y="138"/>
</graphics>
</place>
<place id="cId165-i943123747">
<name>
<text>EAT_5</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="665" y="214"/>
</graphics>
</place>
<place id="cId162-i943123747">
<name>
<text>THINK_4</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="255" y="76"/>
</graphics>
<initialMarking>
<text>1</text>
<graphics>
<offset x="22" y="20"/>
</graphics>
</initialMarking>
</place>
<place id="cId177-i943123747">
<name>
<text>EAT_4</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="335" y="214"/>
</graphics>
</place>
<place id="cId166-i943123747">
<name>
<text>WAIT_LEFT_FORK_3</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="90" y="486"/>
</graphics>
</place>
<place id="cId161-i943123747">
<name>
<text>WAIT_RIGHT_FORK_6</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="910" y="486"/>
</graphics>
</place>
<place id="cId152-i943123747">
<name>
<text>EAT_2</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="335" y="786"/>
</graphics>
</place>
<place id="cId167-i943123747">
<name>
<text>THINK_6</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="990" y="500"/>
</graphics>
<initialMarking>
<text>1</text>
<graphics>
<offset x="22" y="20"/>
</graphics>
</initialMarking>
</place>
<place id="cId163-i943123747">
<name>
<text>WAIT_RIGHT_FORK_1</text>
<graphics>
<offset x="30" y="-6"/>
</graphics>
</name>
<graphics>
<position x="717" y="848"/>
</graphics>
</place>
<place id="cId160-i943123747">
<name>
<text>FORK_6</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="666" y="596"/>
</graphics>
<initialMarking>
<text>1</text>
<graphics>
<offset x="22" y="20"/>
</graphics>
</initialMarking>
</place>
<place id="cId174-i943123747">
<name>
<text>WAIT_LEFT_FORK_4</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="308" y="138"/>
</graphics>
</place>
<place id="cId149-i943123747">
<name>
<text>EAT_3</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="170" y="500"/>
</graphics>
</place>
<place id="cId178-i943123747">
<name>
<text>EAT_1</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="665" y="786"/>
</graphics>
</place>
<place id="cId168-i943123747">
<name>
<text>WAIT_RIGHT_FORK_3</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="90" y="514"/>
</graphics>
</place>
<place id="cId159-i943123747">
<name>
<text>THINK_2</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="255" y="924"/>
</graphics>
<initialMarking>
<text>1</text>
<graphics>
<offset x="22" y="20"/>
</graphics>
</initialMarking>
</place>
<place id="cId156-i943123747">
<name>
<text>FORK_4</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="500" y="308"/>
</graphics>
<initialMarking>
<text>1</text>
<graphics>
<offset x="22" y="20"/>
</graphics>
</initialMarking>
</place>
<place id="cId158-i943123747">
<name>
<text>WAIT_LEFT_FORK_5</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="717" y="152"/>
</graphics>
</place>
<place id="cId150-i943123747">
<name>
<text>FORK_2</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="334" y="596"/>
</graphics>
<initialMarking>
<text>1</text>
<graphics>
<offset x="22" y="20"/>
</graphics>
</initialMarking>
</place>
<place id="cId151-i943123747">
<name>
<text>THINK_3</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="10" y="500"/>
</graphics>
<initialMarking>
<text>1</text>
<graphics>
<offset x="22" y="20"/>
</graphics>
</initialMarking>
</place>
<place id="cId155-i943123747">
<name>
<text>WAIT_LEFT_FORK_6</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="910" y="514"/>
</graphics>
</place>
<place id="cId153-i943123747">
<name>
<text>WAIT_RIGHT_FORK_4</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="283" y="152"/>
</graphics>
</place>
<place id="cId173-i943123747">
<name>
<text>WAIT_LEFT_FORK_2</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="283" y="848"/>
</graphics>
</place>
<place id="cId164-i943123747">
<name>
<text>FORK_5</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="666" y="404"/>
</graphics>
<initialMarking>
<text>1</text>
<graphics>
<offset x="22" y="20"/>
</graphics>
</initialMarking>
</place>
<place id="cId170-i943123747">
<name>
<text>EAT_6</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="830" y="500"/>
</graphics>
</place>
<place id="cId176-i943123747">
<name>
<text>THINK_5</text>
<graphics>
<offset x="22" y="-10"/>
</graphics>
</name>
<graphics>
<position x="745" y="76"/>
</graphics>
<initialMarking>
<text>1</text>
<graphics>
<offset x="22" y="20"/>
</graphics>
</initialMarking>
</place>
<place id="cId154-i943123747">
<name>
<text>WAIT_LEFT_FORK_1</text>
<graphics>
<offset x="-127" y="10"/>
</graphics>
</name>
<graphics>
<position x="692" y="862"/>
</graphics>
</place>
<place id="cId157-i943123747">
<name>
<text>THINK_1</text>
<graphics>
<offset x="63" y="-6"/>
</graphics>
</name>
<graphics>
<position x="745" y="924"/>
</graphics>
<initialMarking>
<text>1</text>
<graphics>
<offset x="22" y="20"/>
</graphics>
</initialMarking>
</place>
<transition id="cId183-i943123747">
<name>
<text>TAKE_LEFT_1_FORK_6</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="950" y="484"/>
</graphics>
</transition>
<transition id="cId180-i943123747">
<name>
<text>RELEASE_FORK_2</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="355" y="751"/>
</graphics>
</transition>
<transition id="cId206-i943123747">
<name>
<text>TAKE_LEFT_1_FORK_4</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="262" y="118"/>
</graphics>
</transition>
<transition id="cId197-i943123747">
<name>
<text>TAKE_RIGHT_2_FORK_2</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="332" y="830"/>
</graphics>
</transition>
<transition id="cId185-i943123747">
<name>
<text>RELEASE_FORK_3</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="210" y="500"/>
</graphics>
</transition>
<transition id="cId196-i943123747">
<name>
<text>TAKE_LEFT_1_FORK_5</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="711" y="103"/>
</graphics>
</transition>
<transition id="cId190-i943123747">
<name>
<text>TAKE_LEFT_1_FORK_2</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="289" y="897"/>
</graphics>
</transition>
<transition id="cId201-i943123747">
<name>
<text>TAKE_LEFT_1_FORK_3</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="50" y="516"/>
</graphics>
</transition>
<transition id="cId187-i943123747">
<name>
<text>TAKE_RIGHT_1_FORK_2</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="262" y="882"/>
</graphics>
</transition>
<transition id="cId194-i943123747">
<name>
<text>TAKE_LEFT_2_FORK_4</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="332" y="170"/>
</graphics>
</transition>
<transition id="cId191-i943123747">
<name>
<text>TAKE_LEFT_2_FORK_3</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="131" y="481"/>
</graphics>
</transition>
<transition id="cId204-i943123747">
<name>
<text>RELEASE_FORK_4</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="355" y="249"/>
</graphics>
</transition>
<transition id="cId202-i943123747">
<name>
<text>TAKE_LEFT_1_FORK_1</text>
<graphics>
<offset x="120" y="-14"/>
</graphics>
</name>
<graphics>
<position x="738" y="882"/>
</graphics>
</transition>
<transition id="cId188-i943123747">
<name>
<text>RELEASE_FORK_6</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="790" y="500"/>
</graphics>
</transition>
<transition id="cId184-i943123747">
<name>
<text>TAKE_LEFT_2_FORK_1</text>
<graphics>
<offset x="-145" y="1"/>
</graphics>
</name>
<graphics>
<position x="668" y="830"/>
</graphics>
</transition>
<transition id="cId208-i943123747">
<name>
<text>TAKE_RIGHT_2_FORK_6</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="869" y="481"/>
</graphics>
</transition>
<transition id="cId205-i943123747">
<name>
<text>TAKE_LEFT_2_FORK_6</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="869" y="519"/>
</graphics>
</transition>
<transition id="cId192-i943123747">
<name>
<text>RELEASE_FORK_5</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="645" y="249"/>
</graphics>
</transition>
<transition id="cId181-i943123747">
<name>
<text>TAKE_RIGHT_2_FORK_5</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="668" y="170"/>
</graphics>
</transition>
<transition id="cId200-i943123747">
<name>
<text>RELEASE_FORK_1</text>
<graphics>
<offset x="32" y="-14"/>
</graphics>
</name>
<graphics>
<position x="645" y="751"/>
</graphics>
</transition>
<transition id="cId193-i943123747">
<name>
<text>TAKE_RIGHT_1_FORK_6</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="950" y="516"/>
</graphics>
</transition>
<transition id="cId207-i943123747">
<name>
<text>TAKE_RIGHT_2_FORK_3</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="131" y="519"/>
</graphics>
</transition>
<transition id="cId198-i943123747">
<name>
<text>TAKE_LEFT_2_FORK_5</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="702" y="190"/>
</graphics>
</transition>
<transition id="cId182-i943123747">
<name>
<text>TAKE_LEFT_2_FORK_2</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="298" y="810"/>
</graphics>
</transition>
<transition id="cId199-i943123747">
<name>
<text>TAKE_RIGHT_1_FORK_1</text>
<graphics>
<offset x="96" y="-4"/>
</graphics>
</name>
<graphics>
<position x="711" y="897"/>
</graphics>
</transition>
<transition id="cId179-i943123747">
<name>
<text>TAKE_RIGHT_1_FORK_4</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="289" y="103"/>
</graphics>
</transition>
<transition id="cId203-i943123747">
<name>
<text>TAKE_RIGHT_1_FORK_5</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="738" y="118"/>
</graphics>
</transition>
<transition id="cId189-i943123747">
<name>
<text>TAKE_RIGHT_2_FORK_1</text>
<graphics>
<offset x="26" y="-10"/>
</graphics>
</name>
<graphics>
<position x="702" y="810"/>
</graphics>
</transition>
<transition id="cId186-i943123747">
<name>
<text>TAKE_RIGHT_1_FORK_3</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="50" y="484"/>
</graphics>
</transition>
<transition id="cId195-i943123747">
<name>
<text>TAKE_RIGHT_2_FORK_4</text>
<graphics>
<offset x="22" y="-14"/>
</graphics>
</name>
<graphics>
<position x="298" y="190"/>
</graphics>
</transition>
<arc id="cId260-i943123747" source="cId172-i943123747" target="cId181-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId296-i943123747" source="cId175-i943123747" target="cId202-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId247-i943123747" source="cId202-i943123747" target="cId163-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId212-i943123747" source="cId154-i943123747" target="cId184-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId243-i943123747" source="cId183-i943123747" target="cId161-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId269-i943123747" source="cId198-i943123747" target="cId165-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId240-i943123747" source="cId160-i943123747" target="cId189-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId237-i943123747" source="cId205-i943123747" target="cId170-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId274-i943123747" source="cId150-i943123747" target="cId182-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId235-i943123747" source="cId176-i943123747" target="cId196-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId224-i943123747" source="cId204-i943123747" target="cId162-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId251-i943123747" source="cId151-i943123747" target="cId201-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId228-i943123747" source="cId173-i943123747" target="cId182-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId276-i943123747" source="cId195-i943123747" target="cId177-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId271-i943123747" source="cId178-i943123747" target="cId200-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId239-i943123747" source="cId191-i943123747" target="cId149-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId252-i943123747" source="cId189-i943123747" target="cId178-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId225-i943123747" source="cId200-i943123747" target="cId160-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId280-i943123747" source="cId196-i943123747" target="cId172-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId245-i943123747" source="cId164-i943123747" target="cId196-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId241-i943123747" source="cId192-i943123747" target="cId164-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId222-i943123747" source="cId188-i943123747" target="cId167-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId275-i943123747" source="cId156-i943123747" target="cId203-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId266-i943123747" source="cId164-i943123747" target="cId193-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId215-i943123747" source="cId180-i943123747" target="cId159-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId258-i943123747" source="cId199-i943123747" target="cId154-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId292-i943123747" source="cId184-i943123747" target="cId178-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId302-i943123747" source="cId155-i943123747" target="cId205-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId267-i943123747" source="cId152-i943123747" target="cId180-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId234-i943123747" source="cId166-i943123747" target="cId191-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId213-i943123747" source="cId187-i943123747" target="cId173-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId263-i943123747" source="cId160-i943123747" target="cId205-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId250-i943123747" source="cId156-i943123747" target="cId194-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId254-i943123747" source="cId188-i943123747" target="cId160-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId270-i943123747" source="cId153-i943123747" target="cId195-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId253-i943123747" source="cId185-i943123747" target="cId171-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId295-i943123747" source="cId171-i943123747" target="cId191-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId298-i943123747" source="cId168-i943123747" target="cId207-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId287-i943123747" source="cId150-i943123747" target="cId186-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId297-i943123747" source="cId165-i943123747" target="cId192-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId289-i943123747" source="cId208-i943123747" target="cId170-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId300-i943123747" source="cId164-i943123747" target="cId198-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId248-i943123747" source="cId171-i943123747" target="cId201-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId233-i943123747" source="cId175-i943123747" target="cId187-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId299-i943123747" source="cId159-i943123747" target="cId187-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId278-i943123747" source="cId170-i943123747" target="cId188-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId211-i943123747" source="cId171-i943123747" target="cId195-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId281-i943123747" source="cId192-i943123747" target="cId176-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId242-i943123747" source="cId167-i943123747" target="cId193-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId259-i943123747" source="cId164-i943123747" target="cId208-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId279-i943123747" source="cId194-i943123747" target="cId177-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId282-i943123747" source="cId161-i943123747" target="cId208-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId277-i943123747" source="cId176-i943123747" target="cId203-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId285-i943123747" source="cId200-i943123747" target="cId175-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId255-i943123747" source="cId185-i943123747" target="cId150-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId273-i943123747" source="cId182-i943123747" target="cId152-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId283-i943123747" source="cId159-i943123747" target="cId190-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId272-i943123747" source="cId177-i943123747" target="cId204-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId288-i943123747" source="cId180-i943123747" target="cId175-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId265-i943123747" source="cId162-i943123747" target="cId179-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId238-i943123747" source="cId158-i943123747" target="cId198-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId214-i943123747" source="cId171-i943123747" target="cId179-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId236-i943123747" source="cId174-i943123747" target="cId194-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId220-i943123747" source="cId200-i943123747" target="cId157-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId257-i943123747" source="cId160-i943123747" target="cId183-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId256-i943123747" source="cId162-i943123747" target="cId206-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId226-i943123747" source="cId186-i943123747" target="cId166-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId261-i943123747" source="cId167-i943123747" target="cId183-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId218-i943123747" source="cId150-i943123747" target="cId190-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId301-i943123747" source="cId190-i943123747" target="cId169-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId230-i943123747" source="cId163-i943123747" target="cId189-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId232-i943123747" source="cId157-i943123747" target="cId199-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId246-i943123747" source="cId203-i943123747" target="cId158-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId221-i943123747" source="cId193-i943123747" target="cId155-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId284-i943123747" source="cId197-i943123747" target="cId152-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId290-i943123747" source="cId204-i943123747" target="cId156-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId304-i943123747" source="cId175-i943123747" target="cId197-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId227-i943123747" source="cId175-i943123747" target="cId184-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId244-i943123747" source="cId149-i943123747" target="cId185-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId262-i943123747" source="cId192-i943123747" target="cId156-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId293-i943123747" source="cId179-i943123747" target="cId174-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId303-i943123747" source="cId150-i943123747" target="cId207-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId268-i943123747" source="cId207-i943123747" target="cId149-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId223-i943123747" source="cId180-i943123747" target="cId150-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId219-i943123747" source="cId201-i943123747" target="cId168-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId229-i943123747" source="cId156-i943123747" target="cId206-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId294-i943123747" source="cId204-i943123747" target="cId171-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId249-i943123747" source="cId157-i943123747" target="cId202-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId286-i943123747" source="cId206-i943123747" target="cId153-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId291-i943123747" source="cId156-i943123747" target="cId181-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId231-i943123747" source="cId160-i943123747" target="cId199-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId209-i943123747" source="cId169-i943123747" target="cId197-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId210-i943123747" source="cId185-i943123747" target="cId151-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId264-i943123747" source="cId181-i943123747" target="cId165-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId217-i943123747" source="cId188-i943123747" target="cId164-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
<arc id="cId216-i943123747" source="cId151-i943123747" target="cId186-i943123747">
<inscription>
<text>1</text>
</inscription>
</arc>
</page>
</net>
</pnml>
<?xml version="1.0" encoding="UTF-8"?>
<!-- Meta-model for PNML specification -->
<!-- Provided by www.pnml.org -->
<ecore:EPackage xmi:version="2.0"
xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="ptnet"
nsURI="http:///ptnet.ecore" nsPrefix="ptnet">
<eClassifiers xsi:type="ecore:EClass" name="PTMarking" eSuperTypes="#//Annotation">
<eAnnotations source="http://www.pnml.org/models/OCL">
<details key="markingValueRange" value="self.text >= 0"/>
</eAnnotations>
<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
<details key="constraints" value="markingValueRange"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="text" lowerBound="1" eType="#//Natural"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerPlace" eType="#//Place"
eOpposite="#//Place/initialMarking"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PTArcAnnotation" eSuperTypes="#//Annotation">
<eAnnotations source="http://www.pnml.org/models/OCL">
<details key="inscriptionValueRange" value="self.text > 0"/>
</eAnnotations>
<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
<details key="constraints" value="inscriptionValueRange"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="text" lowerBound="1" eType="#//PositiveInteger"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerArc" eType="#//Arc"
eOpposite="#//Arc/inscription"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EDataType" name="PositiveInteger" instanceClassName="java.lang.Integer"/>
<eClassifiers xsi:type="ecore:EDataType" name="Natural" instanceClassName="java.lang.Integer"/>
<eClassifiers xsi:type="ecore:EClass" name="PetriNetDoc">
<eStructuralFeatures xsi:type="ecore:EReference" name="nets" ordered="false" lowerBound="1"
upperBound="-1" eType="#//PetriNet" containment="true" eOpposite="#//PetriNet/containerPetriNetDoc"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="xmlns" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"
changeable="false" defaultValueLiteral="http://www.pnml.org/version-2009/grammar/pnml"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PetriNet">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="id" ordered="false" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString" defaultValueLiteral=""
iD="true"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="type" ordered="false" lowerBound="1"
eType="#//PNType" defaultValueLiteral=""/>
<eStructuralFeatures xsi:type="ecore:EReference" name="pages" ordered="false"
lowerBound="1" upperBound="-1" eType="#//Page" containment="true" eOpposite="#//Page/containerPetriNet"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="name" ordered="false" eType="#//Name"
containment="true" eOpposite="#//Name/containerNamePetriNet"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="toolspecifics" ordered="false"
upperBound="-1" eType="#//ToolInfo" containment="true" eOpposite="#//ToolInfo/containerPetriNet"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerPetriNetDoc" ordered="false"
eType="#//PetriNetDoc" eOpposite="#//PetriNetDoc/nets"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EEnum" name="PNType">
<eLiterals name="PTNET" value="1" literal="http://www.pnml.org/version-2009/grammar/ptnet"/>
<eLiterals name="COREMODEL" literal="http://www.pnml.org/version-2009/grammar/pnmlcoremodel"/>
<eLiterals name="SYMNET" value="2" literal="http://www.pnml.org/version-2009/grammar/snnet"/>
<eLiterals name="HLPN" value="3" literal="http://www.pnml.org/version-2009/grammar/highlevelnet"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Page" eSuperTypes="#//PnObject">
<eStructuralFeatures xsi:type="ecore:EReference" name="objects" ordered="false"
upperBound="-1" eType="#//PnObject" containment="true" eOpposite="#//PnObject/containerPage"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerPetriNet" ordered="false"
eType="#//PetriNet" eOpposite="#//PetriNet/pages"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="nodegraphics" eType="#//NodeGraphics"
containment="true" eOpposite="#//NodeGraphics/containerPage"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PnObject" abstract="true">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="id" ordered="false" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString" iD="true"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="name" ordered="false" eType="#//Name"
containment="true" eOpposite="#//Name/containerNamePnObject"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="toolspecifics" ordered="false"
upperBound="-1" eType="#//ToolInfo" containment="true" eOpposite="#//ToolInfo/containerPnObject"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerPage" ordered="false"
eType="#//Page" eOpposite="#//Page/objects"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Name" eSuperTypes="#//Annotation">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="text" ordered="false" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerNamePetriNet"
eType="#//PetriNet" eOpposite="#//PetriNet/name"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerNamePnObject"
eType="#//PnObject" eOpposite="#//PnObject/name"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ToolInfo">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="tool" ordered="false" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="version" ordered="false"
lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="formattedXMLBuffer" ordered="false"
eType="#//LongString"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="toolInfoGrammarURI" ordered="false"
eType="#//URI"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerPetriNet" ordered="false"
eType="#//PetriNet" eOpposite="#//PetriNet/toolspecifics"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerPnObject" ordered="false"
eType="#//PnObject" eOpposite="#//PnObject/toolspecifics"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerLabel" ordered="false"
eType="#//Label" eOpposite="#//Label/toolspecifics"/>
<!-- <eStructuralFeatures xsi:type="ecore:EReference" name="toolInfoModel" eType="#//AnyObject"-->
<!-- containment="true" eOpposite="#//AnyObject/containerToolInfo"/>-->
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Label" abstract="true">
<eStructuralFeatures xsi:type="ecore:EReference" name="toolspecifics" ordered="false"
upperBound="-1" eType="#//ToolInfo" containment="true" eOpposite="#//ToolInfo/containerLabel"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="NodeGraphics" eSuperTypes="#//Graphics">
<eStructuralFeatures xsi:type="ecore:EReference" name="position" ordered="false"
eType="#//Position" containment="true" eOpposite="#//Position/containerPNodeGraphics"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="dimension" ordered="false"
eType="#//Dimension" containment="true" eOpposite="#//Dimension/containerDNodeGraphics"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="fill" ordered="false" eType="#//Fill"
containment="true" eOpposite="#//Fill/containerNodeGraphics"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="line" ordered="false" eType="#//Line"
containment="true" eOpposite="#//Line/containerNodeGraphics"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerNode" eType="#//Node"
eOpposite="#//Node/nodegraphics"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerPage" eType="#//Page"
eOpposite="#//Page/nodegraphics"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Graphics" abstract="true"/>
<eClassifiers xsi:type="ecore:EClass" name="Coordinate" abstract="true">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="x" ordered="false" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EIntegerObject"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="y" ordered="false" lowerBound="1"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EIntegerObject"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Position" eSuperTypes="#//Coordinate">
<eStructuralFeatures xsi:type="ecore:EReference" name="containerArcGraphics" ordered="false"
eType="#//ArcGraphics" eOpposite="#//ArcGraphics/positions"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerPNodeGraphics"
eType="#//NodeGraphics" eOpposite="#//NodeGraphics/position"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Offset" eSuperTypes="#//Coordinate">
<eStructuralFeatures xsi:type="ecore:EReference" name="containerAnnotationGraphics"
ordered="false" eType="#//AnnotationGraphics" eOpposite="#//AnnotationGraphics/offset"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Dimension" eSuperTypes="#//Coordinate">
<eStructuralFeatures xsi:type="ecore:EReference" name="containerDNodeGraphics"
ordered="false" eType="#//NodeGraphics" eOpposite="#//NodeGraphics/dimension"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="AnnotationGraphics" eSuperTypes="#//Graphics">
<eStructuralFeatures xsi:type="ecore:EReference" name="offset" ordered="false"
eType="#//Offset" containment="true" eOpposite="#//Offset/containerAnnotationGraphics"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="fill" ordered="false" eType="#//Fill"
containment="true" eOpposite="#//Fill/containerAnnotationGraphics"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="line" ordered="false" eType="#//Line"
containment="true" eOpposite="#//Line/containerAnnotationGraphics"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="font" ordered="false" eType="#//Font"
containment="true" eOpposite="#//Font/containerAnnotationGraphics"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerAnnotation" eType="#//Annotation"
eOpposite="#//Annotation/annotationgraphics"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Fill">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="color" ordered="false"
eType="#//CSS2Color" defaultValueLiteral="BLACK"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="gradientcolor" ordered="false"
eType="#//CSS2Color" defaultValueLiteral="BLACK"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="gradientrotation" ordered="false"
eType="#//Gradient"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="image" ordered="false"
eType="#//URI"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerNodeGraphics"
ordered="false" eType="#//NodeGraphics" eOpposite="#//NodeGraphics/fill"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerAnnotationGraphics"
ordered="false" eType="#//AnnotationGraphics" eOpposite="#//AnnotationGraphics/fill"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EEnum" name="CSS2Color">
<eLiterals name="AQUA" literal="aqua"/>
<eLiterals name="BLACK" value="1" literal="black"/>
<eLiterals name="BLUE" value="2" literal="blue"/>
<eLiterals name="FUCHSIA" value="3" literal="fuchsia"/>
<eLiterals name="GRAY" value="4" literal="gray"/>
<eLiterals name="GREEN" value="5" literal="green"/>
<eLiterals name="LIME" value="6" literal="lime"/>
<eLiterals name="MAROON" value="7" literal="maroon"/>
<eLiterals name="NAVY" value="8" literal="navy"/>
<eLiterals name="OLIVE" value="9" literal="olive"/>
<eLiterals name="ORANGE" value="10" literal="orange"/>
<eLiterals name="PURPLE" value="11" literal="purple"/>
<eLiterals name="RED" value="12" literal="red"/>
<eLiterals name="SILVER" value="13" literal="silver"/>
<eLiterals name="TEAL" value="14" literal="teal"/>
<eLiterals name="WHITE" value="15" literal="white"/>
<eLiterals name="YELLOW" value="16" literal="yellow"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EEnum" name="Gradient">
<eLiterals name="HORIZONTAL" literal="horizontal"/>
<eLiterals name="VERTICAL" value="1" literal="vertical"/>
<eLiterals name="DIAGONAL" value="2" literal="diagonal"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Line">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="color" ordered="false"
eType="#//CSS2Color" defaultValueLiteral="BLACK"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="shape" ordered="false"
eType="#//LineShape" defaultValueLiteral="LINE"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="width" ordered="false"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EIntegerObject"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerNodeGraphics"
ordered="false" eType="#//NodeGraphics" eOpposite="#//NodeGraphics/line"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerArcGraphics" ordered="false"
eType="#//ArcGraphics" eOpposite="#//ArcGraphics/line"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerAnnotationGraphics"
ordered="false" eType="#//AnnotationGraphics" eOpposite="#//AnnotationGraphics/line"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="style" eType="#//LineStyle"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EEnum" name="LineShape">
<eLiterals name="LINE" literal="line"/>
<eLiterals name="CURVE" value="1" literal="curve"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="ArcGraphics" eSuperTypes="#//Graphics">
<eStructuralFeatures xsi:type="ecore:EReference" name="positions" upperBound="-1"
eType="#//Position" containment="true" eOpposite="#//Position/containerArcGraphics"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="line" ordered="false" eType="#//Line"
containment="true" eOpposite="#//Line/containerArcGraphics"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerArc" eType="#//Arc"
eOpposite="#//Arc/arcgraphics"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Arc" eSuperTypes="#//PnObject">
<eAnnotations source="http://www.pnml.org/models/OCL">
<details key="samePageSourceTarget" value="self.source.containerPage = self.target.containerPage"/>
<details key="differentSourceTarget" value="(self.source.oclIsKindOf(PlaceNode) and self.target.oclIsKindOf(TransitionNode)) or (self.source.oclIsKindOf(TransitionNode) and self.target.oclIsKindOf(PlaceNode))"/>
</eAnnotations>
<eAnnotations source="http://www.eclipse.org/emf/2002/Ecore">
<details key="constraints" value="samePageSourceTarget differentSourceTarget"/>
</eAnnotations>
<eStructuralFeatures xsi:type="ecore:EReference" name="source" ordered="false"
lowerBound="1" eType="#//Node" eOpposite="#//Node/OutArcs"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="target" ordered="false"
lowerBound="1" eType="#//Node" eOpposite="#//Node/InArcs"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="arcgraphics" ordered="false"
eType="#//ArcGraphics" containment="true" eOpposite="#//ArcGraphics/containerArc"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="inscription" eType="#//PTArcAnnotation"
containment="true" eOpposite="#//PTArcAnnotation/containerArc"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Node" abstract="true" eSuperTypes="#//PnObject">
<eStructuralFeatures xsi:type="ecore:EReference" name="InArcs" ordered="false"
upperBound="-1" eType="#//Arc" changeable="false" eOpposite="#//Arc/target"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="OutArcs" ordered="false"
upperBound="-1" eType="#//Arc" changeable="false" eOpposite="#//Arc/source"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="nodegraphics" eType="#//NodeGraphics"
containment="true" eOpposite="#//NodeGraphics/containerNode"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Font">
<eStructuralFeatures xsi:type="ecore:EAttribute" name="align" ordered="false"
eType="#//FontAlign" defaultValueLiteral="LEFT"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="decoration" ordered="false"
eType="#//FontDecoration" defaultValueLiteral="UNDERLINE"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="family" ordered="false"
eType="#//CSS2FontFamily" defaultValueLiteral="VERDANA"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="rotation" ordered="false"
eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EBigDecimal"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="size" ordered="false" eType="#//CSS2FontSize"
defaultValueLiteral="SMALL"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="style" ordered="false"
eType="#//CSS2FontStyle" defaultValueLiteral="NORMAL"/>
<eStructuralFeatures xsi:type="ecore:EAttribute" name="weight" ordered="false"
eType="#//CSS2FontWeight"/>
<eStructuralFeatures xsi:type="ecore:EReference" name="containerAnnotationGraphics"
ordered="false" eType="#//AnnotationGraphics" eOpposite="#//AnnotationGraphics/font"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EEnum" name="FontAlign">
<eLiterals name="LEFT" literal="left"/>
<eLiterals name="CENTER" value="1" literal="center"/>
<eLiterals name="RIGHT" value="2" literal="right"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EEnum" name="FontDecoration">
<eLiterals name="UNDERLINE" literal="underline"/>
<eLiterals name="OVERLINE" value="1" literal="overline"/>
<eLiterals name="LINETHROUGH" value="2" literal="linethrough"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EEnum" name="CSS2FontFamily">
<eLiterals name="VERDANA" literal="verdana"/>
<eLiterals name="ARIAL" value="1" literal="arial"/>
<eLiterals name="TIMES" value="2" literal="times"/>
<eLiterals name="GEORGIA" value="3" literal="georgia"/>
<eLiterals name="TREBUCHET" value="4" literal="trebuchet"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EEnum" name="CSS2FontSize">
<eLiterals name="XXSMALL" literal="xxsmall"/>
<eLiterals name="XSMALL" value="1" literal="xsmall"/>
<eLiterals name="SMALL" value="2" literal="small"/>
<eLiterals name="MEDIUM" value="3" literal="medium"/>
<eLiterals name="LARGE" value="4" literal="large"/>
<eLiterals name="XLARGE" value="5" literal="xlarge"/>
<eLiterals name="XXLARGE" value="6" literal="xxlarge"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EEnum" name="CSS2FontStyle">
<eLiterals name="NORMAL" literal="normal"/>
<eLiterals name="ITALIC" value="1" literal="italic"/>
<eLiterals name="OBLIQUE" value="2" literal="oblique"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EEnum" name="CSS2FontWeight">
<eLiterals name="NORMAL" literal="normal"/>
<eLiterals name="BOLD" value="1" literal="bold"/>
<eLiterals name="BOLDER" value="2" literal="bolder"/>
<eLiterals name="LIGHTER" value="3" literal="lighter"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="PlaceNode" abstract="true" eSuperTypes="#//Node">
<eStructuralFeatures xsi:type="ecore:EReference" name="referencingPlaces" upperBound="-1"
eType="#//RefPlace" changeable="false" eOpposite="#//RefPlace/ref"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="TransitionNode" abstract="true" eSuperTypes="#//Node">
<eStructuralFeatures xsi:type="ecore:EReference" name="referencingTransitions"
upperBound="-1" eType="#//RefTransition" changeable="false" eOpposite="#//RefTransition/ref"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Place" eSuperTypes="#//PlaceNode">
<eStructuralFeatures xsi:type="ecore:EReference" name="initialMarking" eType="#//PTMarking"
containment="true" eOpposite="#//PTMarking/containerPlace"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="RefTransition" eSuperTypes="#//TransitionNode">
<eStructuralFeatures xsi:type="ecore:EReference" name="ref" ordered="false" lowerBound="1"
eType="#//TransitionNode" eOpposite="#//TransitionNode/referencingTransitions"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Transition" eSuperTypes="#//TransitionNode"/>
<eClassifiers xsi:type="ecore:EClass" name="RefPlace" eSuperTypes="#//PlaceNode">
<eStructuralFeatures xsi:type="ecore:EReference" name="ref" ordered="false" lowerBound="1"
eType="#//PlaceNode" eOpposite="#//PlaceNode/referencingPlaces"/>
</eClassifiers>
<!-- <eClassifiers xsi:type="ecore:EClass" name="Attribute" abstract="true" eSuperTypes="#//Label"/>-->
<eClassifiers xsi:type="ecore:EEnum" name="LineStyle">
<eLiterals name="SOLID" literal="solid"/>
<eLiterals name="DASH" value="1" literal="dash"/>
<eLiterals name="DOT" value="2" literal="dot"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EClass" name="Annotation" abstract="true" eSuperTypes="#//Label">
<eStructuralFeatures xsi:type="ecore:EReference" name="annotationgraphics" ordered="false"
eType="#//AnnotationGraphics" containment="true" eOpposite="#//AnnotationGraphics/containerAnnotation"/>
</eClassifiers>
<eClassifiers xsi:type="ecore:EDataType" name="URI" instanceClassName="java.net.URI"/>
<eClassifiers xsi:type="ecore:EDataType" name="LongString" instanceClassName="java.lang.StringBuffer"/>
<!-- <eClassifiers xsi:type="ecore:EClass" name="AnyObject" abstract="true">-->
<!-- <eStructuralFeatures xsi:type="ecore:EReference" name="containerToolInfo" eType="#//ToolInfo"-->
<!-- changeable="false" eOpposite="#//ToolInfo/toolInfoModel"/>-->
<!-- </eClassifiers>-->
</ecore:EPackage>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment