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
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
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 ),
Search WWH ::




Custom Search