diff options
author | Karl Berry <karl@freefriends.org> | 2011-09-25 22:22:25 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2011-09-25 22:22:25 +0000 |
commit | 2c266513a7d7727e1adbcbfca59d5e7dbfdfd2e0 (patch) | |
tree | a8f606660c9f134ae2cc80bc4c74219eb589bd29 /Master/texmf-dist/tex/generic/petri-nets/pntext.sty | |
parent | 86e8221f09069b58618c78721f104b3628f8fb16 (diff) |
petri-nets non-update to generic
git-svn-id: svn://tug.org/texlive/trunk@24088 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/generic/petri-nets/pntext.sty')
-rw-r--r-- | Master/texmf-dist/tex/generic/petri-nets/pntext.sty | 70 |
1 files changed, 70 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/generic/petri-nets/pntext.sty b/Master/texmf-dist/tex/generic/petri-nets/pntext.sty new file mode 100644 index 00000000000..1f337cfe5d7 --- /dev/null +++ b/Master/texmf-dist/tex/generic/petri-nets/pntext.sty @@ -0,0 +1,70 @@ +% This file is part of the Petri-nets packages. See file README for +% copyright notice. + +\ProvidesPackage{pntext} + +\typeout{ ** Petri-nets / text commands ** } + +% numbers sets + +\usepackage{amsfonts} + +\newcommand{\mathset}[1]{\relax\ifmmode\mathbb #1\else$\mathbb #1$\fi} +\newcommand{\setN}{\mathset{N}} +\newcommand{\setZ}{\mathset{Z}} +\newcommand{\setQ}{\mathset{Q}} +\newcommand{\setR}{\mathset{R}} +\newcommand{\setC}{\mathset{C}} + +% places status + +\newcommand{\placestatus}[1]{{\sf #1}} +\newcommand{\eplace}{\placestatus{e}} +\newcommand{\iplace}{\placestatus{i}} +\newcommand{\xplace}{\placestatus{x}} + +% synchronisation, restriction and tie + +\newcommand{\sy}{\relax + \ifmmode\mathop{\bf sy}\else{\bf sy}\fi} +\newcommand{\rs}{\relax + \ifmmode\mathop{\bf rs}\else{\bf rs}\fi} +\newcommand{\tie}{\relax + \ifmmode\mathop{\bf tie}\else{\bf tie}\fi} + +% scoping + +\newcommand{\lscope}{\relax + \ifmmode\left[\mskip -2.05\thinmuskip\left[\else$\lscope$\fi} +\newcommand{\Lscope}{\relax\ifmmode\left.\left.\fi} +\newcommand{\rscope}{\relax + \ifmmode\right]\mskip -2.05\thinmuskip\right]\else$\rscope$\fi} +\newcommand{\Rscope}{\relax\ifmmode\right.\right.\fi} +\newcommand{\scope}{} % just to test its existence +\def\scope #1#2{\relax + \ifmmode\lscope#1:#2\rscope\else$\lscope#1:#2\rscope$\fi} + +% choice operator + +\newcommand{\choice}{\relax\ifmmode + \mathop{\raise -.2ex\hbox{$\Box$}}\else{\raise -.2ex\hbox{$\Box$}}\fi} + +% B(PB)^2 logo + +\newcommand{\bpn}{\mbox{B(PN)$^2$}} + +% B(PN)^2 syntax + +\newcommand{\bpnkw}[1]{{\bf #1}} % keyword +\newcommand{\bpnnt}[1]{{\sf #1}} % non-terminal + +% Mnet mapping function + +\newcommand{\mnet}{\mbox{\sf Mnet}} + +% Var and Val + +\newcommand{\Val}{\relax\ifmmode{V\mskip-1.6\thinmuskip al}% + \else{\it Val}\fi} +\newcommand{\Var}{\relax\ifmmode{V\mskip-1.5\thinmuskip ar}% + \else{\it Var}\fi} |