Documente Academic
Documente Profesional
Documente Cultură
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
s2 = b s3= g
q1 q3
a
s1= a
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 , g , ,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