Graphics Programs Reference
In-Depth Information
f
i
the probability of ever returning to state i after leaving it
FIFO first-in-first-out
FMS flexible manufacturing system
GSPN generalized stochastic Petri net
H the inhibition function defined on the set of transitions;
the set of inhibitor arcs
H(t) the vector whose entries are the multiplicities of the
inhibitor arcs from the various places to transition t
H(t,p) the multiplicity of the inhibitor arc from place p to transition t
I the input function defined on the set of transitions;
the set of input arcs
I(t) the vector whose entries are the multiplicities of the
input arcs from the various places to transition t
I(t,p) the multiplicity of the input arc from place p to transition t
JIT just-in-time
LAN local area network
L-RRG the reduced reachability graph at priorities greater or equal to L
M, M
0
markings
M
0
the initial marking
M(p) the number of tokens in place p in marking M
M(t) the marking stochastic process as a function of time
M
a Petri net model
M
π
a Petri net model with priority
M
GSPN
a GSPN model
M[t
i
M
0
marking M
0
is immediately reachable from marking M by firing transition t
M[σ
i
M
0
marking M
0
is reachable from marking M by firing the transition sequence σ
h
M
i
,M
j
,t
i
the arc in the reachability graph from M
i
to M
j
, labeled t
MC Markov chain
MIMD multiple-instruction-multiple-data
MP the parametric marking of a GSPN model
MRP Markov renewal process
N
a Petri net
N
π
a Petri net with priority
the set of natural numbers:
{
0, 1, 2, 3,
···}
IN
Search WWH ::
Custom Search