Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
PARTIES
publications
Minimal Scheduling
Commits
f175f541
Commit
f175f541
authored
Jun 30, 2020
by
Jaime Arias
Browse files
add toy example minimal assignment figures
parent
2fd9fdfd
Changes
10
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
f175f541
...
...
@@ -48,6 +48,10 @@ greater than the time for the thieves to steal the treasure and go away.

### Minimal Scheduling

### Compromise IoT device (iot-dev)
This model describes an attack to an Internet-of-Things (IoT) device either
...
...
results/toy-example/assignment/toy-example_minimal_assignment.pdf
0 → 100644
View file @
f175f541
File added
results/toy-example/assignment/toy-example_minimal_assignment.png
0 → 100644
View file @
f175f541
59.4 KB
results/toy-example/assignment/toy-example_minimal_assignment.tex
0 → 100644
View file @
f175f541
\documentclass
{
standalone
}
\usepackage
[dvipsnames,svgnames,table]
{
xcolor
}
\usepackage
{
tikz
}
\usetikzlibrary
{
automata, positioning, arrows, shapes, shapes.gates.logic, shapes.gates.logic.US
}
\begin{document}
\begin{tikzpicture}
[node distance=1.8cm]
\tikzstyle
{
SEQ
}
=[diamond]
\tikzstyle
{
NULL
}
=[trapezium, trapezium left angle=120, trapezium right angle=120, minimum size=8mm]
\tikzstyle
{
AND
}
=[and gate US, logic gate inputs=nn, rotate=90 ]
\tikzstyle
{
OR
}
=[or gate US, logic gate inputs=nn, rotate=90 ]
\tikzset
{
every node/.style=
{
ultra thick, draw=red, minimum size=6mm
}}
\node
[draw=red, SEQ, xshift=0.000000cm ]
(A7
_
1)
{
\ensuremath
{
\mathtt
{
A7
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=7mm]
at (A7
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
level
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=7mm]
at (A7
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
depth
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (A7
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
0
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (A7
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
5
}}}}
;
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of A7_1.south]
(A7')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
A7'
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (A7'.south)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (A7'.north)
{
\small
{
\ensuremath
{
\mathtt
{
4
}}}}
;
\draw
[solid]
(A7
_
1) edge (A7'.east);
\node
[draw=red, SEQ, xshift=-1.250000cm , below of=A7']
(A6
_
1)
{
\ensuremath
{
\mathtt
{
A6
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (A6
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (A6
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
4
}}}}
;
\draw
[solid]
(A7'.input 1) edge (A6
_
1);
\node
[draw=red, SEQ, xshift=1.250000cm , below of=A7']
(l8
_
1)
{
\ensuremath
{
\mathtt
{
l8
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l8
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l8
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\draw
[solid]
(A7'.input 2) edge (l8
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=l8_1]
(l8')
{
\ensuremath
{
\mathtt
{
l8'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l8'.east)
{
\small
{
\ensuremath
{
\mathtt
{
2
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l8'.west)
{
\small
{
\ensuremath
{
\mathtt
{
0
}}}}
;
\draw
[solid]
(l8
_
1) edge (l8');
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of A6_1.south]
(A6')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
A6'
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (A6'.south)
{
\small
{
\ensuremath
{
\mathtt
{
2
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (A6'.north)
{
\small
{
\ensuremath
{
\mathtt
{
3
}}}}
;
\draw
[solid]
(A6
_
1) edge (A6'.east);
\node
[draw=red, SEQ, xshift=-5.0000000cm , below of=A6']
(A4
_
1)
{
\ensuremath
{
\mathtt
{
A4
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (A4
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
2
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (A4
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
3
}}}}
;
\draw
[solid]
(A6'.input 1) edge (A4
_
1);
\node
[draw=red, SEQ, xshift=5.000000cm , below of=A6']
(A5
_
1)
{
\ensuremath
{
\mathtt
{
A5
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (A5
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
2
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (A5
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
3
}}}}
;
\draw
[solid]
(A6'.input 2) edge (A5
_
1);
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of A5_1.south]
(A5')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
A5'
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (A5'.south)
{
\small
{
\ensuremath
{
\mathtt
{
3
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (A5'.north)
{
\small
{
\ensuremath
{
\mathtt
{
2
}}}}
;
\draw
[solid]
(A5
_
1) edge (A5'.east);
\node
[draw=red, SEQ, xshift=-1.250000cm , below of=A5']
(A3
_
1)
{
\ensuremath
{
\mathtt
{
A3
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (A3
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
3
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (A3
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
2
}}}}
;
\draw
[solid]
(A5'.input 1) edge (A3
_
1);
\node
[draw=red, SEQ, xshift=1.250000cm , below of=A5']
(l7
_
1)
{
\ensuremath
{
\mathtt
{
l7
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l7
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
3
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l7
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\draw
[solid]
(A5'.input 2) edge (l7
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=l7_1]
(l7')
{
\ensuremath
{
\mathtt
{
l7'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l7'.east)
{
\small
{
\ensuremath
{
\mathtt
{
4
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l7'.west)
{
\small
{
\ensuremath
{
\mathtt
{
0
}}}}
;
\draw
[solid]
(l7
_
1) edge (l7');
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of A3_1.south]
(A3')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
A3'
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (A3'.south)
{
\small
{
\ensuremath
{
\mathtt
{
4
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (A3'.north)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\draw
[solid]
(A3
_
1) edge (A3'.east);
\node
[draw=red, SEQ, xshift=-1.250000cm , below of=A3']
(l5
_
1)
{
\ensuremath
{
\mathtt
{
l5
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l5
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
4
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l5
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\draw
[solid]
(A3'.input 1) edge (l5
_
1);
\node
[draw=red, SEQ, xshift=1.250000cm , below of=A3']
(l6
_
1)
{
\ensuremath
{
\mathtt
{
l6
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l6
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
4
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l6
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\draw
[solid]
(A3'.input 2) edge (l6
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=l6_1]
(l6')
{
\ensuremath
{
\mathtt
{
l6'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l6'.east)
{
\small
{
\ensuremath
{
\mathtt
{
5
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l6'.west)
{
\small
{
\ensuremath
{
\mathtt
{
0
}}}}
;
\draw
[solid]
(l6
_
1) edge (l6');
\node
[draw=red, state, xshift=-0.000000cm , below of=l5_1]
(l5')
{
\ensuremath
{
\mathtt
{
l5'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l5'.east)
{
\small
{
\ensuremath
{
\mathtt
{
5
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l5'.west)
{
\small
{
\ensuremath
{
\mathtt
{
0
}}}}
;
\draw
[solid]
(l5
_
1) edge (l5');
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of A4_1.south]
(A4')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
A4'
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (A4'.south)
{
\small
{
\ensuremath
{
\mathtt
{
3
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (A4'.north)
{
\small
{
\ensuremath
{
\mathtt
{
2
}}}}
;
\draw
[solid]
(A4
_
1) edge (A4'.east);
\node
[draw=red, SEQ, xshift=-2.590000cm , below of=A4']
(A1
_
1)
{
\ensuremath
{
\mathtt
{
A1
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (A1
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
3
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (A1
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
2
}}}}
;
\draw
[solid]
(A4'.input 1) edge (A1
_
1);
\node
[draw=red, SEQ, xshift=2.500000cm , below of=A4']
(A2
_
1)
{
\ensuremath
{
\mathtt
{
A2
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (A2
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
3
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (A2
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
2
}}}}
;
\draw
[solid]
(A4'.input 2) edge (A2
_
1);
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of A2_1.south]
(A2')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
A2'
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (A2'.south)
{
\small
{
\ensuremath
{
\mathtt
{
4
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (A2'.north)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\draw
[solid]
(A2
_
1) edge (A2'.east);
\node
[draw=red, SEQ, xshift=-1.250000cm , below of=A2']
(l3
_
1)
{
\ensuremath
{
\mathtt
{
l3
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l3
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
4
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l3
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\draw
[solid]
(A2'.input 1) edge (l3
_
1);
\node
[draw=red, SEQ, xshift=1.250000cm , below of=A2']
(l4
_
1)
{
\ensuremath
{
\mathtt
{
l4
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l4
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
4
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l4
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\draw
[solid]
(A2'.input 2) edge (l4
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=l4_1]
(l4')
{
\ensuremath
{
\mathtt
{
l4'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l4'.east)
{
\small
{
\ensuremath
{
\mathtt
{
5
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l4'.west)
{
\small
{
\ensuremath
{
\mathtt
{
0
}}}}
;
\draw
[solid]
(l4
_
1) edge (l4');
\node
[draw=red, state, xshift=-0.000000cm , below of=l3_1]
(l3')
{
\ensuremath
{
\mathtt
{
l3'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l3'.east)
{
\small
{
\ensuremath
{
\mathtt
{
5
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l3'.west)
{
\small
{
\ensuremath
{
\mathtt
{
0
}}}}
;
\draw
[solid]
(l3
_
1) edge (l3');
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of A1_1.south]
(A1')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
A1'
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (A1'.south)
{
\small
{
\ensuremath
{
\mathtt
{
4
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (A1'.north)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\draw
[solid]
(A1
_
1) edge (A1'.east);
\node
[draw=red, SEQ, xshift=-1.250000cm , below of=A1']
(l1
_
1)
{
\ensuremath
{
\mathtt
{
l1
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l1
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
4
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l1
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\draw
[solid]
(A1'.input 1) edge (l1
_
1);
\node
[draw=red, SEQ, xshift=1.250000cm , below of=A1']
(l2
_
1)
{
\ensuremath
{
\mathtt
{
l2
_{
1
}}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l2
_
1.east)
{
\small
{
\ensuremath
{
\mathtt
{
4
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l2
_
1.west)
{
\small
{
\ensuremath
{
\mathtt
{
1
}}}}
;
\draw
[solid]
(A1'.input 2) edge (l2
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=l2_1]
(l2')
{
\ensuremath
{
\mathtt
{
l2'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l2'.east)
{
\small
{
\ensuremath
{
\mathtt
{
5
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l2'.west)
{
\small
{
\ensuremath
{
\mathtt
{
0
}}}}
;
\draw
[solid]
(l2
_
1) edge (l2');
\node
[draw=red, state, xshift=-0.000000cm , below of=l1_1]
(l1')
{
\ensuremath
{
\mathtt
{
l1'
}}}
;
\node
[draw=none, blue, xshift=2mm, yshift=0mm]
at (l1'.east)
{
\small
{
\ensuremath
{
\mathtt
{
5
}}}}
;
\node
[draw=none, green!60!black, xshift=-2mm, yshift=0mm]
at (l1'.west)
{
\small
{
\ensuremath
{
\mathtt
{
0
}}}}
;
\draw
[solid]
(l1
_
1) edge (l1');
\end{tikzpicture}
\end{document}
results/toy-example/assignment/toy-example_preprocessing.pdf
0 → 100644
View file @
f175f541
File added
results/toy-example/assignment/toy-example_preprocessing.png
0 → 100644
View file @
f175f541
46.9 KB
results/toy-example/assignment/toy-example_preprocessing.tex
0 → 100644
View file @
f175f541
\documentclass
{
standalone
}
\usepackage
[dvipsnames,svgnames,table]
{
xcolor
}
\usepackage
{
tikz
}
\usetikzlibrary
{
automata, positioning, arrows, shapes, shapes.gates.logic, shapes.gates.logic.US
}
\begin{document}
\begin{tikzpicture}
[node distance=1.8cm]
\tikzstyle
{
SEQ
}
=[diamond]
\tikzstyle
{
NULL
}
=[trapezium, trapezium left angle=120, trapezium right angle=120, minimum size=8mm]
\tikzstyle
{
AND
}
=[and gate US, logic gate inputs=nn, rotate=90 ]
\tikzstyle
{
OR
}
=[or gate US, logic gate inputs=nn, rotate=90 ]
\tikzset
{
every node/.style=
{
ultra thick, draw=red, minimum size=6mm
}}
\node
[draw=red, SEQ, xshift=0.000000cm ]
(A7
_
1)
{
\ensuremath
{
\mathtt
{
A7
_{
1
}}}}
;
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of A7_1.south]
(A7')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
A7'
}}}}
;
\draw
[solid]
(A7
_
1) edge (A7'.east);
\node
[draw=red, SEQ, xshift=-1.250000cm , below of=A7']
(A6
_
1)
{
\ensuremath
{
\mathtt
{
A6
_{
1
}}}}
;
\draw
[solid]
(A7'.input 1) edge (A6
_
1);
\node
[draw=red, SEQ, xshift=1.250000cm , below of=A7']
(l8
_
1)
{
\ensuremath
{
\mathtt
{
l8
_{
1
}}}}
;
\draw
[solid]
(A7'.input 2) edge (l8
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=l8_1]
(l8')
{
\ensuremath
{
\mathtt
{
l8'
}}}
;
\draw
[solid]
(l8
_
1) edge (l8');
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of A6_1.south]
(A6')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
A6'
}}}}
;
\draw
[solid]
(A6
_
1) edge (A6'.east);
\node
[draw=red, SEQ, xshift=-5.000000cm , below of=A6']
(A4
_
1)
{
\ensuremath
{
\mathtt
{
A4
_{
1
}}}}
;
\draw
[solid]
(A6'.input 1) edge (A4
_
1);
\node
[draw=red, SEQ, xshift=5.000000cm , below of=A6']
(A5
_
1)
{
\ensuremath
{
\mathtt
{
A5
_{
1
}}}}
;
\draw
[solid]
(A6'.input 2) edge (A5
_
1);
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of A5_1.south]
(A5')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
A5'
}}}}
;
\draw
[solid]
(A5
_
1) edge (A5'.east);
\node
[draw=red, SEQ, xshift=-1.250000cm , below of=A5']
(A3
_
1)
{
\ensuremath
{
\mathtt
{
A3
_{
1
}}}}
;
\draw
[solid]
(A5'.input 1) edge (A3
_
1);
\node
[draw=red, SEQ, xshift=1.250000cm , below of=A5']
(l7
_
1)
{
\ensuremath
{
\mathtt
{
l7
_{
1
}}}}
;
\draw
[solid]
(A5'.input 2) edge (l7
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=l7_1]
(l7')
{
\ensuremath
{
\mathtt
{
l7'
}}}
;
\draw
[solid]
(l7
_
1) edge (l7');
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of A3_1.south]
(A3')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
A3'
}}}}
;
\draw
[solid]
(A3
_
1) edge (A3'.east);
\node
[draw=red, SEQ, xshift=-1.250000cm , below of=A3']
(l5
_
1)
{
\ensuremath
{
\mathtt
{
l5
_{
1
}}}}
;
\draw
[solid]
(A3'.input 1) edge (l5
_
1);
\node
[draw=red, SEQ, xshift=1.250000cm , below of=A3']
(l6
_
1)
{
\ensuremath
{
\mathtt
{
l6
_{
1
}}}}
;
\draw
[solid]
(A3'.input 2) edge (l6
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=l6_1]
(l6')
{
\ensuremath
{
\mathtt
{
l6'
}}}
;
\draw
[solid]
(l6
_
1) edge (l6');
\node
[draw=red, state, xshift=-0.000000cm , below of=l5_1]
(l5')
{
\ensuremath
{
\mathtt
{
l5'
}}}
;
\draw
[solid]
(l5
_
1) edge (l5');
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of A4_1.south]
(A4')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
A4'
}}}}
;
\draw
[solid]
(A4
_
1) edge (A4'.east);
\node
[draw=red, SEQ, xshift=-2.500000cm , below of=A4']
(A1
_
1)
{
\ensuremath
{
\mathtt
{
A1
_{
1
}}}}
;
\draw
[solid]
(A4'.input 1) edge (A1
_
1);
\node
[draw=red, SEQ, xshift=2.500000cm , below of=A4']
(A2
_
1)
{
\ensuremath
{
\mathtt
{
A2
_{
1
}}}}
;
\draw
[solid]
(A4'.input 2) edge (A2
_
1);
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of A2_1.south]
(A2')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
A2'
}}}}
;
\draw
[solid]
(A2
_
1) edge (A2'.east);
\node
[draw=red, SEQ, xshift=-1.250000cm , below of=A2']
(l3
_
1)
{
\ensuremath
{
\mathtt
{
l3
_{
1
}}}}
;
\draw
[solid]
(A2'.input 1) edge (l3
_
1);
\node
[draw=red, SEQ, xshift=1.250000cm , below of=A2']
(l4
_
1)
{
\ensuremath
{
\mathtt
{
l4
_{
1
}}}}
;
\draw
[solid]
(A2'.input 2) edge (l4
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=l4_1]
(l4')
{
\ensuremath
{
\mathtt
{
l4'
}}}
;
\draw
[solid]
(l4
_
1) edge (l4');
\node
[draw=red, state, xshift=-0.000000cm , below of=l3_1]
(l3')
{
\ensuremath
{
\mathtt
{
l3'
}}}
;
\draw
[solid]
(l3
_
1) edge (l3');
\node
[draw=red, AND, xshift=-0.000000cm , yshift=4mm, below = 1.4cm of A1_1.south]
(A1')
{
\rotatebox
{
-90
}{
\ensuremath
{
\mathtt
{
A1'
}}}}
;
\draw
[solid]
(A1
_
1) edge (A1'.east);
\node
[draw=red, SEQ, xshift=-1.250000cm , below of=A1']
(l1
_
1)
{
\ensuremath
{
\mathtt
{
l1
_{
1
}}}}
;
\draw
[solid]
(A1'.input 1) edge (l1
_
1);
\node
[draw=red, SEQ, xshift=1.250000cm , below of=A1']
(l2
_
1)
{
\ensuremath
{
\mathtt
{
l2
_{
1
}}}}
;
\draw
[solid]
(A1'.input 2) edge (l2
_
1);
\node
[draw=red, state, xshift=-0.000000cm , below of=l2_1]
(l2')
{
\ensuremath
{
\mathtt
{
l2'
}}}
;
\draw
[solid]
(l2
_
1) edge (l2');
\node
[draw=red, state, xshift=-0.000000cm , below of=l1_1]
(l1')
{
\ensuremath
{
\mathtt
{
l1'
}}}
;
\draw
[solid]
(l1
_
1) edge (l1');
\end{tikzpicture}
\end{document}
results/toy-example/assignment/toy-example_scheduling.pdf
0 → 100644
View file @
f175f541
File added
results/toy-example/assignment/toy-example_scheduling.png
0 → 100644
View file @
f175f541
19.8 KB
results/toy-example/assignment/toy-example_scheduling.tex
0 → 100644
View file @
f175f541
\documentclass
{
standalone
}
\usepackage
[dvipsnames,svgnames,table]
{
xcolor
}
\usepackage
{
diagbox
}
\begin{document}
\rowcolors
{
2
}{
lightgray!30
}{
white
}
\begin{tabular}
{
c|l|l|l|l|l|l|
}
\diagbox
[]
{
slot
}{
agent
}&
1
&
2
&
3
&
4
&
5
&
6
\\
\hline
1
&{
\ensuremath
{
\mathtt
{
l1',l1
_{
1
}}}}&{
\ensuremath
{
\mathtt
{
l2',l2
_{
1
}}}}&{
\ensuremath
{
\mathtt
{
l3',l3
_{
1
}}}}&{
\ensuremath
{
\mathtt
{
l4',l4
_{
1
}}}}&{
\ensuremath
{
\mathtt
{
l5',l5
_{
1
}}}}&{
\ensuremath
{
\mathtt
{
l6',l6
_{
1
}}}}
\\
2
&{
\ensuremath
{
\mathtt
{
A1',A1
_{
1
}}}}&{
\ensuremath
{
\mathtt
{
A2',A2
_{
1
}}}}&{
\ensuremath
{
\mathtt
{
A3',A3
_{
1
}}}}&{
\ensuremath
{
\mathtt
{
l7',l7
_{
1
}}}}&{
\ensuremath
{
\mathtt
{}}}&{
\ensuremath
{
\mathtt
{}}}
\\
3
&{
\ensuremath
{
\mathtt
{
A4',A4
_{
1
}}}}&{
\ensuremath
{
\mathtt
{
A5',A5
_{
1
}}}}&{
\ensuremath
{
\mathtt
{}}}&{
\ensuremath
{
\mathtt
{}}}&{
\ensuremath
{
\mathtt
{}}}&{
\ensuremath
{
\mathtt
{}}}
\\
4
&{
\ensuremath
{
\mathtt
{
A6',A6
_{
1
}}}}&{
\ensuremath
{
\mathtt
{
l8',l8
_{
1
}}}}&{
\ensuremath
{
\mathtt
{}}}&{
\ensuremath
{
\mathtt
{}}}&{
\ensuremath
{
\mathtt
{}}}&{
\ensuremath
{
\mathtt
{}}}
\\
5
&{
\ensuremath
{
\mathtt
{
A7',A7
_{
1
}}}}&{
\ensuremath
{
\mathtt
{}}}&{
\ensuremath
{
\mathtt
{}}}&{
\ensuremath
{
\mathtt
{}}}&{
\ensuremath
{
\mathtt
{}}}&{
\ensuremath
{
\mathtt
{}}}
\\
\hline
\end{tabular}
\end{document}
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment