[ES] Las redes de Petri forman una familia de formalismos, con diferentes niveles de abstracción (generalizadas, coloreadas, extendidas, etc.), así como diferentes interpretaciones (autónoma, temporizada determinista, ...