Self-Sorting Robots (SSR) | Bigraph Framework

📄️ Outline

This tutorial models and simulates a Self‑Sorting Robots (SSR) system in the Bigraph Framework.

SSR uses a combined signature of the grid and robots.

We start with three robots on a 2×3 grid.

These functions are taken from the SSR unit test: they build the LHS/RHS bigraphs including interfaces and tracking maps.

Collect agent and rules into a PureReactiveSystem.

Run a BFS exploration and export the reaction graph + states.

So far, we have focused on n = 3 robots to keep the model and explanations concise.