1 files changed, 36 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/einfuehrung/15-04-56.ltx b/Master/texmf-dist/doc/latex/einfuehrung/15-04-56.ltx
new file mode 100644
index 00000000000..c355ba69d1b
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/einfuehrung/15-04-56.ltx
@@ -0,0 +1,36 @@
+%% 
+%%  Ein Beispiel der DANTE-Edition
+%% 
+%%  Beispiel 15-04-56 auf Seite 828.
+%% 
+%%  Copyright (C) 2012 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{118.324pt}
+\usepackage[T1]{fontenc}
+
+\usepackage{tikz}
+\usetikzlibrary{petri,positioning}
+
+\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}