Graphics Programs Reference
In-Depth Information
O the output function defined on the set of transitions;
the set of output arcs
O(t) the vector whose entries are the multiplicities of the
output arcs from transition t to the various places
O(t,p) the multiplicity of the output arc from transition t to place p
P the set of places
P
{
T
k
|
M
i
}
the probability that in marking M
i
transition T
k
wins the race and fires
PAR
the set of parameters in the definition of a GSPN model
pdf
probability density function
PDF
probability distribution function
PH
phase-type (distribution)
PI
i
the i-th place invariant
PN
Petri net
PRED
the set of predicates in the definition of a GSPN model
PS
i
the i-th place semiflow
Π
the priority function defined on transitions
Π(t)
the priority of transition t
π
i
the priority of transition t
i
(shorthand)
Q
the infinitesimal generator of a continuous-time Markov chain
q
ij
the entry in row i and column j of matrix Q;
the transition rate from state i to state j
X
q
i
the total transition rate out of state i;
q
ij
j∈S,j 6=i
R the average steady-state reward
r(M) the reward rate in marking M
REMC reduced embedded Markov chain
RG(M
0
) the reachability graph originating from the initial marking M
0
RS reachability set
RS(M
0
) the reachability set originating from the initial marking M
0
RS(M) the reachability set originating from marking M
S
a Petri net system
S
π
a Petri net system with priority
SJ
i
the sojourn time in state i
SMP
semi-Markov process
SPN
stochastic Petri net
σ
a transition sequence
Search WWH ::
Custom Search