A Polynomial Translation of Mobile Ambients into Safe Petri Nets - Göbel, Susanne (Springer Fachmedien Wiesbaden, 2016)