summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/petri-nets/pntext.tex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2006-01-13 00:02:26 +0000
committerKarl Berry <karl@freefriends.org>2006-01-13 00:02:26 +0000
commit048e080abeec202eff94a248440707c29174dc2f (patch)
tree9b8de03c52a955f1b2125a9adea45d494e0fa84f /Master/texmf-dist/tex/latex/petri-nets/pntext.tex
parent32bab6927929e2ba62a4ec9d54664eea7260ad16 (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.tex75
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}