Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations. - Robert Lorenz 001; Johannes Metzger; Lev Sorokin (ATAED@Petri Nets/ACSD, 2017)