Namespaces
#
Current State
Next State
Condition
1
'0'
'1'
[(Input and TC_Timeout = '1')]
2
[(not Input and TC_Timeout = '1')]