summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/einfuehrung/15-04-56.ltx
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-02-06 00:47:46 +0000
committerKarl Berry <karl@freefriends.org>2012-02-06 00:47:46 +0000
commitf2fb432b14a3c467c6ddfee4a19874fea886307d (patch)
tree4fbba0fc79f546e17e07adbb3db78860e4d39ed8 /Master/texmf-dist/doc/latex/einfuehrung/15-04-56.ltx
parent27d1d1646fa5dc2daba1e09c2d2175c211d93def (diff)
new examples from (voss) german book einfuehrung (2feb12)
git-svn-id: svn://tug.org/texlive/trunk@25301 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/einfuehrung/15-04-56.ltx')
-rw-r--r--Master/texmf-dist/doc/latex/einfuehrung/15-04-56.ltx36
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}