Object-oriented event-graph modeling formalism to simulate manufacturing systems in the Industry 4.0 era · Study