Este documento presenta varios modelos de estados y transiciones que describen el comportamiento de los procesos en un sistema operativo. Se describen modelos de 2, 3, 5, 6 y 7 estados que representan diferentes estados por los que puede pasar un proceso, como listo, en ejecución, bloqueado y finalizado, así como las transiciones entre estados como admitir, expedir y final de plazo. El objetivo es modelar formalmente el ciclo de vida de los procesos.