FSM
PTnet
c’
c’
C Gate Formal Models
c
a.b
a’.b’
}
Empty transitions
è
else stay in same state
17/3/2014
6
CE-653 - Micropipeline Templates
