Automated generation of digital models for manufacturing systems: The event-centric process mining approach · Study