Synthesizing Petri Nets from Labelled Petri Nets using Token Trail Regions

Robin Bergenthum, Jakub Kovář

Synthesis automatically generates a process model from a behavioural specification. When the target model is a Petri net, we address synthesis through region theory. Researchers ha…