summaryrefslogtreecommitdiff
path: root/info/examples/Einfuehrung2/15-04-56.ltx
diff options
context:
space:
mode:
Diffstat (limited to 'info/examples/Einfuehrung2/15-04-56.ltx')
-rw-r--r--info/examples/Einfuehrung2/15-04-56.ltx39
1 files changed, 39 insertions, 0 deletions
diff --git a/info/examples/Einfuehrung2/15-04-56.ltx b/info/examples/Einfuehrung2/15-04-56.ltx
new file mode 100644
index 0000000000..42a677c25a
--- /dev/null
+++ b/info/examples/Einfuehrung2/15-04-56.ltx
@@ -0,0 +1,39 @@
+%%
+%% Ein Beispiel der DANTE-Edition
+%%
+%% 2. Auflage
+%%
+%% Beispiel 15-04-56 auf Seite 802.
+%%
+%% Copyright (C) 2016 Herbert Voss
+%%
+%% It may be distributed and/or modified under the conditions
+%% of the LaTeX Project Public License, either version 1.3
+%% of this license or (at your option) any later version.
+%%
+%% See http://www.latex-project.org/lppl.txt for details.
+%%
+%%
+%% ====
+% Show page(s) 1
+%%
+%%
+\documentclass[]{exaarticle}
+\pagestyle{empty}
+\setlength\textwidth{121.16928pt}
+\usepackage[T1]{fontenc}
+%StartShownPreambleCommands
+\usepackage{tikz}
+\usetikzlibrary{petri,positioning}
+%StopShownPreambleCommands
+\begin{document}
+\begin{tikzpicture}
+\node[place,tokens=2,label=above:$p_1$] (p1) {};
+\node[place,label=above:$p_2\ge1$,right=of p1](p2) {};
+
+\par
+\node[transition,below right=of p1,label=below:$t_1$] {}
+ edge[pre] (p1)
+ edge[post] node[auto] {2} (p2);
+\end{tikzpicture}
+\end{document}