diff options
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 | 32 |
1 files changed, 16 insertions, 16 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 c558acca9ed..befc36b9e0f 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 @@ -11,14 +11,14 @@ \section{Petri-Net Drawing Library} \begin{tikzlibrary}{petri} - This packages provides shapes and styles for drawing Petri nets. + This packages provides shapes and styles for drawing Petri nets. \end{tikzlibrary} \subsection{Places} -The package defines a style for drawing places of Petri nets. +The package defines a style for drawing places of Petri nets. \begin{stylekey}{/tikz/place} This style indicates that a node is a place of a Petri net. Usually, @@ -27,16 +27,16 @@ The package defines a style for drawing places of Petri nets. like its name or its capacity. You should use the |tokens| options, explained in Section~\ref{section-tokens}, to add tokens inside the place. - + \begin{codeexample}[] \begin{tikzpicture} \node[place,label=above:$p_1$,tokens=2] (p1) {}; \node[place,label=below:$p_2\ge1$,right=of p1] (p2) {}; \end{tikzpicture} \end{codeexample} - + \begin{stylekey}{/tikz/every place} - This stype is envoked by the style |place|. To change the + This style is evoked by the style |place|. To change the appearance of places, you can change this style. \begin{codeexample}[] \begin{tikzpicture} @@ -55,7 +55,7 @@ The package defines a style for drawing places of Petri nets. \subsection{Transitions} Transitions are also nodes. They should be drawn using the following -style: +style: \begin{stylekey}{/tikz/transition} This style indicates that a node is a transition. As for places, the @@ -64,7 +64,7 @@ style: To connect a transition to places, you can use the |edge| command as in the following example: - + \begin{codeexample}[] \begin{tikzpicture} \node[place,tokens=2,label=above:$p_1$] (p1) {}; @@ -75,9 +75,9 @@ style: edge[post] node[auto] {2} (p2); \end{tikzpicture} \end{codeexample} - + \begin{stylekey}{/tikz/every transition} - This style is envoked by the style |transition|. + This style is evoked by the style |transition|. \end{stylekey} \begin{stylekey}{/tikz/pre} @@ -116,7 +116,7 @@ simple style for typesetting them. text will be typeset in a tiny font and in white on black (naturally, you can easily change this by setting the style |every token|). - + \begin{codeexample}[] \begin{tikzpicture} \node[place,label=above:$p_1$] (p1) {}; @@ -127,7 +127,7 @@ simple style for typesetting them. \end{tikzpicture} \end{codeexample} \begin{stylekey}{/tikz/every token} - Change this style to chagne the appearance of tokens. + Change this style to change the appearance of tokens. \end{stylekey} \end{stylekey} @@ -271,7 +271,7 @@ affect how these options depict tokens. every place/.style={draw=blue,fill=blue!20,minimum size=6mm}] \foreach \i in {1,...,6} { - \node[place,label=left:$p_\i$] (p\i) at (0,\i) {}; + \node[place,label=left:$p_\i$] (p\i) at (0,\i) {}; \node[place,label=right:$q_\i$] (q\i) at (8,\i) {}; } \foreach \name/\var/\vala/\valb/\height/\x in @@ -311,7 +311,7 @@ affect how these options depict tokens. \node[transition] at (6.5,5.5) {} edge [pre] (q5) edge [pre] (m2t) edge [post] (q6) edge [post] (m2f); \node[transition] at (6.5,6.5) {} edge [pre] (q6) edge [post] (q1.south west); -\end{tikzpicture} +\end{tikzpicture} \end{codeexample} Here is the same net once more, but with these styles changes: @@ -326,7 +326,7 @@ Here is the same net once more, but with these styles changes: every place/.style={draw,thick,minimum size=6mm}] \foreach \i in {1,...,6} { - \node[place,label=left:$p_\i$] (p\i) at (0,\i) {}; + \node[place,label=left:$p_\i$] (p\i) at (0,\i) {}; \node[place,label=right:$q_\i$] (q\i) at (8,\i) {}; } \foreach \name/\var/\vala/\valb/\height/\x in @@ -368,7 +368,7 @@ Here is the same net once more, but with these styles changes: \node[transition] at (6.5,6.5) {} edge [pre] (q6) edge [post] (q1.south west); \end{tikzpicture} -%%% Local Variables: +%%% Local Variables: %%% mode: latex %%% TeX-master: "pgfmanual-pdftex-version" -%%% End: +%%% End: |