Two processes (P1, P2) share a single printer. Only one can print at a time.

Inicialmente, marcadores en (P_3) y (P_4).

T1 fires → tokens in P2 and P3 → T2 and T3 can fire independently (in any order or simultaneously).

Un sistema de producción tiene dos máquinas (M1 y M2) y un buffer para almacenar productos en proceso. Inicialmente, hay un producto en el buffer.