Graphics Programs Reference
In-Depth Information
Glossary
AGV
automatic guided vehicle
Bag(P)
a multiset of elements from P
C
the incidence matrix of a Petri net
C(p,t)
the entry of the incidence matrix corresponding to place p and transition t;
the change of marking in p due to the firing of t
CPU
central processing unit
CS(t
i
)
the conflict set comprising transition t
i
CTMC
continuous-time Markov chain
CY (M
i
)
the cycle time relative to marking M
i
DTMC
discrete-time Markov chain
E[.]
the statistical average operator
E(M)
the set of enabled transitions in marking M
E[M(p
i
)]
the average steady-state number of tokens in place p
i
E
j
(M
i
)
the set of transitions enabled in M
i
whose firing produces M
j
ECS(t
i
)
the extended conflict set comprising transition t
i
ED(t,M)
the enabling degree of transition t in marking M
EMC
embedded Markov chain
η
the vector of the steady-state probabilities
η
i
the i-th entry of the vector of the steady-state probabilities;
the steady-state probability of the i-th state or marking
301
Search WWH ::
Custom Search