Skip to main content

Bigraph FrameworkUser Manual Tutorials JavaDoc API

Tutorials
Vending Machine
- Outline
Self-Sorting Robots

Vending Machine

Vending Machine Tutorial

Model and check a vending machine as a reactive system.

📄️ Outline

System

Docs

User Manual
Tutorials
JavaDoc API

More

GitHub

Copyright © 2021-2025 Bigraph Toolkit Suite Developers
Unless otherwise specified, the textual content and visual elements featured on this website are subject to the Creative Commons license CC BY-SA 4.0.
Bigraph Framework is licensed under the Apache License, Version 2.0.