Plant model generation from event log using ProM for formal verification of CPS

Midhun Xavier, Victor Dubinin, Sandeep Patil +1

This paper introduces the concept of plant model generation from the recorded traces of events using the process mining technique. The event logs are obtained by visually simulatin…