Information Technology Reference
In-Depth Information
Given a reduced service net,
p
1.
8
p
2
P
R
,
p
is a
source place
if
p
6¼
p
i
^
¼
1
.
2.
8
returns
true if
p
is a source place. Each source place is initially
marked to be
nondead
.
p
2
P
R
, function S
ð
p
Þ
is a Boolean function. S
ð
p
Þ
3.
8
returns
true if
p
is a source place and is explicitly marked to be
dead
.
p
2
P
, function D
S
ð
p
Þ
is a Boolean function. D
S
ð
p
Þ
t
,
Given a net
N
¼ð
P
;
T
;
F
Þ
,
p
2
P
,
t
2
T
,
p
2
p
0
;
Function M
ð
p
;
t
;
N
Þ
modifies the structure of
N
by redirecting
p
0
;
ð
p
;
t
Þ
to
ð
t
Þ
,or
p
0
g
;
p
0
;
P
¼
P
[f
F
¼ð
F
fð
p
;
t
ÞgÞ [ fð
t
Þg
Given a net
N
¼ð
P
;
T
;
F
Þ;
n
2
P
[
T
,
Function D
modifies the structure of
N
by deleting
n
and the
arcs leading and ending at
n
, that is,
ð
n
;
N
Þ
If
n
2
P
P
¼
P
f
n
g
F
¼
F
f
ð
n
;
x
Þj
x
2
T
^
ð
n
;
x
Þ2
F
g [
f
ð
y
;
n
Þj
y
2
T
^
ð
y
;
n
Þ2
F
g
If
n
2
T
T
¼
T
f
n
g
F
¼
F
f
ð
n
;
x
Þj
x
2
P
^
ð
n
;
x
Þ2
F
g [
ð
y
;
n
Þj
y
2
P
^
ð
y
;
n
Þ2
F
f
g
If
N
0
N
0
;
P
[
T
,D
ð
N
Þ
modifies the structure of
N
by invoking
N
0
.
D
ð
n
;
N
Þ
sequentially for all
n
2
Definition 3.8. (Selection Tuple)
Given a reduced service net
N
R
¼
P
, and
p
i
¼f
ð
P
;
T
;
F
Þ
with
P
C
¼f
p
1
;
p
2
;
...
;
p
n
g
t
i
1
;
t
i
2
;
...
;
t
ik
i
g
(1
i
n
),