A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domains - Göbel, Susanne (Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016)