Determinamos, primeramente, el grafo de interacción de procesos y recursos del problema:
Como se puede ver en la figura, identificamos cada uno de los
dispositivos -- Hornos, Empaquetador, Reponedor y Retirador-- como
procesos. Por su parte, la interacción queda representada por dos
componentes -- Mostrador y Caja-- cuyo acceso concurrente debemos
gestionar. A partir de aquí, la resolución del problema admite dos
versiones razonablemente aceptables, dependiendo de cómo se realiza la
gestión del peso de la caja de pastas que se está llenando.
Como se verá, cada versión determina de manera diferente la especificación de Empaquetador y Caja. El resto de elementos del programa -- Mostrador, Hornos, Reponedor y Retirador--, son idénticos en las dos versiones. Pasamos a describir estos últimos ahora: