Types of Models in the DeMO Ontology

Discrete-event Modeling Ontology

 

Note: A* means the powerset of set A.

 

Model Acronym State Space
S
Event Set
E
Time Set
T
Initialization-Function
s(0) = b
Clock-Function
c : S x E -> T
Transition-Function
d : S x E -> S
GSMP+SE Countable Finite Uncountable P(s(0) = k) in [0, 1] c(s, e) = t + f(e) where s = the current state, e is a candidate next event and f(e) is arbitrarily distributed. d : S x E* -> S*, since simultaneous events may occur, i.e., P(d(s1, {e}) = s2) = P(s1, {e}, s2).
GSMP-SE Countable Finite Uncountable P(s(0) = k) in [0, 1] c(s, e) = t + f(e) where s = the current state, e is a candidate next event and f(e) is arbitrarily distributed. d : S x E -> S*, since for a given state and event, several next states are possible, i.e., P(d(s1, e) = s2) = P(s1, e, s2).
SMP Countable Finite Uncountable P(s(0) = k) in [0, 1] c(s, e) = t + f(e) where s = the current state, e is a candidate next event and f(e) is arbitrarily distributed. P(d(s1, e) = s2) = P(s1, s2) where P is the transition probability matrix. This requires that the combination of s1 and s2 uniquely determines e.
QN Countable (vector of place occupancies) Finite Uncountable P(s(0) = k) in [0, 1] c(s, e) = t + f(e) where s = the current state, e is a candidate next event and f(e) is arbitrarily distributed. P(d(s1, e) = s2) = P(s1, s2) where P is the transition probability matrix. This requires that the combination of s1 and s2 uniquely determines e.
CTMC Countable Finite Uncountable P(s(0) = k) in [0, 1] c(s, e) = t + f(e) where s = the current state, e is a candidate next event and f(e) is exponentially distributed. P(d(s1, e) = s2) = P(s1, s2).
DTMC Countable Finite Countable P(s(0) = k) in [0, 1] c(s, e) = t + f(e) where s = the current state, e is a candidate next event and f(e) is geometrically distributed. P(d(s1, e) = s2) = P(s1, s2).
STA Countable Finite { symbols in alphabet } Uncountable P(s(0) = k) in [0, 1] c(s, e) = t + f(e) where s = the current state, e is the next symbol in the input stream and f(e) is arbitrarily distributed. P(d(s1, e) = s2) = P(s1, s2).
TA Finite Finite { symbols in alphabet } Uncountable s(0) = k for one k in S c(s, e) = t + f(e) where s = the current state, e is the next symbol in the input stream and f(e) is deterministic. d(s, e) = M[s, e] where M is the transition matrix.
DFA Finite Finite { symbols in alphabet } Finite {1,..., n} where n is the number of symbols in the input s(0) = k for one k in S c(s, e) = t + 1 where s = the current state and e is the next symbol in the input stream. d(s, e) = M[s, e].
EG Uncountable Finite Uncountable s(0) = k for one k in S c(s, e) = t + f(e) where s = the current state, e is a candidate next event and f(e) is arbitrarily distributed. d : S x E -> S*