blob: 17e477c00deef28de3d2bea419ad21b49adf028d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
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}
|
