diff options
author | Karl Berry <karl@freefriends.org> | 2014-02-27 00:01:50 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-02-27 00:01:50 +0000 |
commit | 90ae413a94da014dbf7a6a8ab584f7c668483a5a (patch) | |
tree | 4e0528a2b2fb2004988e7fc804ea2f1354f1f5d5 /Master/texmf-dist/doc/generic/pgf/text-en/pgfmanual-en-library-petri.tex | |
parent | 800cc56380d1edfe567a6a66bef13e8950eb2b0c (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.tex | 15 |
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) |