Multi-agent systems design and prototyping with bigraphical reactive