Graphics Programs Reference
In-Depth Information
T
the set of transitions
t
•
the output set of transition t;
the set of places connected to t with output arcs
•
t
the input set of transition t;
the set of places connected to t with input arcs
◦
t
the inhibitor set of transition t;
the set of places connected to t with inhibitor arcs
t
1
CC(M)t
2
in marking M, transition t
1
is causally connected with transition t
2
t
1
EC(M)t
2
in marking M, transition t
1
is in effective conflict with transition t
2
t
1
HMEt
2
transition t
1
is in structural mutual exclusion
with transition t
2
due to inhibitor arcs
t
1
IEC(M)t
2
in marking M, transition t
1
is in indirect effective conflict with transition t
2
t
1
ISCt
2
transition t
1
is in indirect structural conflict with transition t
2
t
1
MMEt
2
transition t
1
is in mutual exclusion with transition t
2
due to marking
t
1
ΠMEt
2
transition t
1
is in mutual exclusion with transition t
2
due to priority
t
1
SCt
2
transition t
1
is in structural conflict with transition t
2
t
1
SCCt
2
transition t
1
is in structural causal connection with transition t
2
t
1
SMEt
2
transition t
1
is in structural mutual exclusion with transition t
2
t
1
SSCt
2
transition t
1
is in symmetric structural conflict with transition t
2
TI
i
the i-th transition invariant
TRG
tangible reachability graph
TS
i
the i-th transition semiflow
v
ij
the average number of visits to state i between two consecutive visits to state j
V
σ
the transition count vector of a T-semiflow
VLSI
very large scale integration
W
the weight function defined on transitions
W(t)
the weight of transition t
W(t,M)
the weight of transition t in marking M
w
k
the weight of transition t
k
(shorthand)
w
k
(M
i
)
the weight of ECS(t
k
) in M
i
Search WWH ::
Custom Search