IoT-simulator A platform to simulate agent interactions with IoT devices to facilitate process mining algorithm research