97 citations · 239 across the 9 of their papers we have counts for
3 papers · 1 filter
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…
Integrating 2D and 3D Digital Plant Information Towards Automatic Generation of Digital Twins
Seppo Sierla, Mohammad Azangoo, Alexander Fay +2
Ongoing standardization in Industry 4.0 supports tool vendor neutral representations of Piping and Instrumentation diagrams as well as 3D pipe routing. However, a complete digital…
Visual counterexample explanation for model checking with Oeritte
Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen +1
Despite being one of the most reliable approaches for ensuring system correctness, model checking requires auxiliary tools to fully avail. In this work, we tackle the issue of its…