sur 4
A Polynomial Translation of Mobile Ambients into Safe Petri Nets — Susanne Göbel