Distributed execution of bigraphical reactive systems