The
EFSM
of an
ATM System
before modification:
The modified
EFSM
, after adding transition
T9
and deleting transition
T6
(self-loop
T6dummy
is used for replacing in case of deletion):
Home
