diff options
author | Karl Berry <karl@freefriends.org> | 2006-01-13 00:02:26 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-01-13 00:02:26 +0000 |
commit | 048e080abeec202eff94a248440707c29174dc2f (patch) | |
tree | 9b8de03c52a955f1b2125a9adea45d494e0fa84f /Master/texmf-dist/tex/latex/petri-nets/pntext.tex | |
parent | 32bab6927929e2ba62a4ec9d54664eea7260ad16 (diff) |
petri-nets
git-svn-id: svn://tug.org/texlive/trunk@1190 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/petri-nets/pntext.tex')
-rw-r--r-- | Master/texmf-dist/tex/latex/petri-nets/pntext.tex | 75 |
1 files changed, 75 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/petri-nets/pntext.tex b/Master/texmf-dist/tex/latex/petri-nets/pntext.tex new file mode 100644 index 00000000000..17e477c00de --- /dev/null +++ b/Master/texmf-dist/tex/latex/petri-nets/pntext.tex @@ -0,0 +1,75 @@ +% This file is part of the Petri-nets packages. See file README for +% copyright notice. + +\message{ ** Petri-nets / text commands ** } +\input pnversion + +% math sets + +\newfam\setfam \def\setfont{\fam\setfam\tenset} +\font\tenset=bbm10 \font\sevenset=bbm7 \font\fiveset=bbm5 +\textfont\setfam=\tenset +\scriptfont\setfam=\sevenset +\scriptscriptfont\setfam=\fiveset + +\def\mathset #1{{\setfont #1}} +\def\setN{{\setfont N}} +\def\setZ{{\setfont Z}} +\def\setQ{{\setfont Q}} +\def\setR{{\setfont R}} +\def\setC{{\setfont C}} + +% places status + +\def\placestatus #1{{\ss #1}} +\def\eplace{\placestatus{e}} +\def\iplace{\placestatus{i}} +\def\xplace{\placestatus{x}} + +% synchronisation, restriction and tie + +\def\sy{\relax + \ifmmode\mathop{\bf sy}\else{\bf sy}\fi} +\def\rs{\relax + \ifmmode\mathop{\bf rs}\else{\bf rs}\fi} +\def\tie{\relax + \ifmmode\mathop{\bf tie}\else{\bf tie}\fi} + +% scoping + +\def\lscope{\relax + \ifmmode\left[\mskip -2.05\thinmuskip\left[\else$\lscope$\fi} +\def\Lscope{\relax\ifmmode\left.\left.\fi} +\def\rscope{\relax + \ifmmode\right]\mskip -2.05\thinmuskip\right]\else$\scope$\fi} +\def\Rscope{\relax\ifmmode\right.\right.\fi} +\def\scope #1#2{\lscope#1:#2\rscope} + +% choice operator + +\def\choice{\relax\ifmmode + \mathbin{\mathpalette\choicebody{}}% + \else${\choice}$\fi} + +\def\choicebody #1#2{\vcenter{\hrule + \hbox{\vrule$#1\phantom{*}$\vrule}\vss\hrule}} + +% B(PB)^2 logo + +\def\bpn{\hbox{B(PN)$^2$}} + +% B(PN)^2 syntax + +\def\bpnkw #1{{\bf #1}} % keyword +\def\bpnnt #1{{\ss #1}} % non-terminal + +% Mnet mapping function + +\def\mnet{\hbox{\sf Mnet}} + +% Var and Val + +\def\Val{\relax\ifmmode{V\mskip-1.6\thinmuskip al}% + \else{\it Val}\fi} +\def\Var{\relax\ifmmode{V\mskip-1.5\thinmuskip ar}% + \else{\it Var}\fi} |