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