Graphical encoding of a spatial logic for the π-calculus