Son una generalización de la teoría de autómatas que permite expresar un sistema a eventos concurrentes.