summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-library-petri.tex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2014-02-27 00:01:50 +0000
committerKarl Berry <karl@freefriends.org>2014-02-27 00:01:50 +0000
commit90ae413a94da014dbf7a6a8ab584f7c668483a5a (patch)
tree4e0528a2b2fb2004988e7fc804ea2f1354f1f5d5 /Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-library-petri.tex
parent800cc56380d1edfe567a6a66bef13e8950eb2b0c (diff)
pgf 3.0.0
git-svn-id: svn://tug.org/texlive/trunk@33057 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-library-petri.tex')
-rw-r--r--Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-library-petri.tex15
1 files changed, 7 insertions, 8 deletions
diff --git a/Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-library-petri.tex b/Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-library-petri.tex
index befc36b9e0f..9807c3542d3 100644
--- a/Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-library-petri.tex
+++ b/Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-library-petri.tex
@@ -198,10 +198,10 @@ The Petri net library offers a solution to this problem: The
\end{key}
\end{stylekey}
-The |children are tokens| options gives you a lot of flexibility, but
+The |children are tokens| option gives you a lot of flexibility, but
it is a bit cumbersome to use. For this reason there are some options
that help in standard situations. They all use |children are tokens|
-internally, so any change to, say, the |every tokens| style will
+internally, so any change to, say, the |every token| style will
affect how these options depict tokens.
\begin{key}{/tikz/tokens=\meta{number}}
@@ -236,15 +236,14 @@ affect how these options depict tokens.
\begin{key}{/tikz/colored tokens=\meta{color list}}
This option, which must also be given when a place node is being
created, gets a list of colors as parameter. It will then add as
- many tokens to the place are in this list, each colored with the
- corresponding color in the list.
+ many tokens to the place as there are colors in this list, each filled correspondingly.
\begin{codeexample}[]
\tikz \node[place,colored tokens={black,black,red,blue}] {};
\end{codeexample}
\end{key}
\begin{key}{/tikz/structured tokens=\meta{token texts}}
- This option, which must again be passed to a place, gets a list
- texts for tokens. For each text, another token will be added to the place.
+ This option, which must again be passed to a place, gets a list of
+ texts for tokens. For each text, a new token will be added to the place.
\begin{codeexample}[]
\tikz \node[place,structured tokens={$x$,$y$,$z$}] {};
\end{codeexample}
@@ -284,8 +283,8 @@ affect how these options depict tokens.
\node[token] at (h1) {};
\node[transition] at (1.5,1.5) {} edge [pre] (p1) edge [post] (p2);
- \node[transition] at (1.5,2.5) {} edge[pre] (p2) edge[pre] (m1f)
- edge[post] (p3) edge[post] (m1t);
+ \node[transition] at (1.5,2.5) {} edge [pre] (p2) edge[pre] (m1f)
+ edge [post](p3) edge[post] (m1t);
\node[transition] at (1.5,3.3) {} edge [pre] (p3) edge [post] (p4)
edge [pre and post] (h1);
\node[transition] at (1.5,3.7) {} edge [pre] (p3) edge [pre] (h2)