einfuehrung2 (20dec15)

git-svn-id: svn://tug.org/texlive/trunk@39153 c570f23f-e606-0410-a88d-b1316a301751

1 files changed, 39 insertions, 0 deletions

diff --git a/Master/texmf-dist/doc/latex/einfuehrung2/15-04-56.ltx b/Master/texmf-dist/doc/latex/einfuehrung2/15-04-56.ltx
new file mode 100644
index 00000000000..42a677c25a9
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/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}