summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-library-petri.tex
diff options
context:
space:
mode:
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)