Grafo del autómata
Activo
Origen
Error
Inactivo
INACTIVA sin trabajo · LISTA cola pendiente ·
IMPRIMIENDO ocupada · PAUSADA detenida · ERROR falla.
Red de Petri
Tokens
Transiciones
Lugares
P5 Error
P6 Pausado
Marcado M =
P1 Cola: 0
P2 Libre: 1
P3 Impr: 0
P4 Listo: 0
P5 Error: 0
P6 Pausado: 0
Flujo principal: P1→T1→P2→T2→P3→T3→P4→T4→P2.
T5 (rojo) gestiona P3↔P5 al activar/limpiar error.
T6 (naranja) gestiona P3↔P6 al pausar/reanudar.