L'activité des différents composants d'un système peut être également être représentée sous forme d' "automate fini" (machine à états).
Des transitions permettent de passer d'un état à un autre.