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).