Workcraft Structured Occurrence Nets Plug-in (UNCOVER)