A polynomial translation of mobile ambients into safe petri nets : understanding a calculus of hierarchical protection domains - Göbel, Susanne (Springer Vieweg, 2016)