Process control device, manufacturing device, process control method, control program, and recording medium

A process control method for controlling work processes of a manufacturing device that includes a plurality of process execution elements that can operate simultaneously and simultaneously manufactures a plurality of products using the plurality of process execution elements, the process control method comprising:

• a process execution control step of causing a process execution element to execute a work process in response to a predetermined trigger by referring to process constraint information in which a plurality of work processes and each work state of the plurality of process execution elements of the manufacturing device are associated with each other, wherein the process constraint information indicate a table showing an assembly procedure indicated by work process information and work state transitions indicated by work state information;
• and
• a deadlock determination step of determining whether or not a deadlock occurrence situation occurs when a work process that is being executed and a work process scheduled to be executed next are executed simultaneously by referring to the process constraint information,
• wherein when it has determined in the deadlock determination step that the deadlock occurrence situation occurs, the process execution control step includes delaying an execution timing of the work process scheduled to be executed next,
• wherein the deadlock determination step extracts a first resource in which there is a work state corresponding to a first work process that is being executed, and a second resource in which there is a work state corresponding to a second work process that is a process next to the first work process by referring to the process constraint information, generates a table of resource correspondence information in which the first work process, the first resource, and the second resource are associated with each other, and determines whether or not the deadlock occurrence situation occurs by referring to the table of resource correspondence information.