Papapanagiotou, PetrosVaughan, JamesSmola, FilipFleuriot, Jacques2020-12-242020-12-242021-01-05978-0-9981331-4-0http://hdl.handle.net/10125/70734We present a novel application of business process modelling and simulation of manufacturing workflows. Using formal methods, we produce correct-by-construction executable models that can be simulated in an interleaved way. The simulation draws advanced analytics from live IoT monitoring as well as an ERP system to provide predictive business intelligence. We describe our process and resource modelling efforts in the context of a collaborative project with two manufacturing partners. We evaluate our results based on the improvement of the scheduling accuracy for real production flows.10 pagesEnglishAttribution-NonCommercial-NoDerivatives 4.0 InternationalCase Studies of Artificial Intelligence, Business Intelligence, Analytics Technologies for Industry Platformsanalyticsformal methodsmanufacturingsimulationworkflowA Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows10.24251/HICSS.2021.122