diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/einfuehrung2/15-04-56.ltx')
-rw-r--r-- | Master/texmf-dist/doc/latex/einfuehrung2/15-04-56.ltx | 39 |
1 files changed, 0 insertions, 39 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 deleted file mode 100644 index 42a677c25a9..00000000000 --- a/Master/texmf-dist/doc/latex/einfuehrung2/15-04-56.ltx +++ /dev/null @@ -1,39 +0,0 @@ -%% -%% 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} |