Atur cara mengikut efsm.sf.net

Kemudahan Mesin Negeri Terbenam (FSM) yang boleh digunakan untuk model dan mengawal sistem reaktif atau negeri. Sistem ini boleh diwakili oleh mana-mana bilangan negeri. Peralihan negeri didorong oleh beberapa peristiwa. eFSM