Title: A Polynomial Translation of Mobile Ambients into Safe Petri Nets
Subjects: Petri nets, Nets (Mathematics), Computer science, Mathematics