Professional Documents
Culture Documents
Edds 1
Edds 1
Event Driven
Dynamic Systems
Bujor PĂVĂLOIU
2018
Dynamic Systems
Discrete Event Examples
Untimed DES
Dynamic System
Event dispacher
State Machines
Formal Languages Models
Petri Nets
Markov Processes
…
q2 qn
b
2 3
q1 q3
a
1
q0
s
t t1 t2 t3 t n 1 tn
Time (time variable) Time (event sequence)
(a) (b)
(a) Example of an illustrative one-dimensional CVDS trajectory, (b) Example of a DES trajectory ( , , , ,a,b,c,d,s Q
G = (Q, Σ, δ, s)
L(G)={ε,S,SB,SC,SCS,SCSB,SBR,SBRS,...}
L(G)=(SC+SBR)*(ε+S+SB)
Q1={I1,W1,D1}
Q2={I2,W2,D2}
Σ1= {S1,C1,B1,R1}
Σ2= {S2,C2,B2,R2}
I1 I2
S1 S2
C1 C2
R1 R2
W1 W2
B1 B2
D1 D2
S1
B2
I1
C2
C1 C1
C1
S1 S1 S1
R2
S1
B2
W1
C2
R1 R1 R1
B1 B1 B1
R2
S1
B2
D1
C2