Tutorials

Welcome! This section collects hands-on tutorials for the Bigraph Framework.

Pick a tutorial to begin:

• Vending Machine: model an appliance as a reactive system.
• Self-sorting Robots: coordination protocol as bigraphs for self-sorting robots (physical bubble sort).
• ROS2 Streaming & Conditional Rules: stream ROS2 data into bigraph node attributes, persist models with CDO, and apply conditional rewriting rules.