Workflow composition and analysis in Industry 4.0 warehouse automation

Workflow compositions have been exploited in business process modelling to handle concurrent invocations of modular components. With the emergence of Industry 4.0 warehouse automation, which enable the integration of business processes, mechanised robots, sensor-actuators and human participants, analysis and specification of workflows become crucial. As such environments have dynamic deployments due to varying demand rates and environmental conditions, the workflow compositions are intended to be adaptable to runtime changes. In addition, monitoring the end-to-end latency and optimal runtime binding is critical in industrial deployments such as warehouse automation. The authors provide specifications in the concurrent programming language Orc that supports most commonly used workflow patterns. Complex deployments involving multiple robotic agents and business processes further require analysis of correctness, liveness, and safety properties. In order to verify the workflows, the Orc specifications are translated into workflow net representations, with verification done using the TAPAAL model checker. The advantages of deploying fine grained analysis of workflows are demonstrated over picker/delivery robots involved in warehouse operations. The envisioned set of reusable specifications may be extended and applied to a variety of Industry 4.0 deployments to handle complex workflow interactions.