23.01.2014 - Susanne Göbel

Time 15:30
Room 34-420


A Polynomial Translation of Mobile Ambients into Safe Petri Nets


Mobile Ambients are a modeling technique suitable to express typical network components and their behaviour e.g.\,processes passing firewalls. We derive a decidable subclass of the MA calculus by a translation into Safe Petri nets. Our translation extends to arbitrary MA processes but finiteness of the net and therefore decidability of reachability is only guaranteed for processes bounded in depth and breadth.

termine/ws13/140123.txt · Last modified: 17.01.2014 18:03 by ctadmin