How a Petri Net Explains Espresso Machine Behaviour

How can a Petri net reveal the hidden logic behind an espresso machine's behavior? The video explores how to model the behavior of an espresso machine - in this case the Sage or Breville Barista Express - using a Petri net, focusing on key components like the power button, boiler, and control dial. It first observes the machine’s functionality, then builds a Petri net model to represent its states and transitions, and finally compares the model’s predictions with the actual machine’s behavior. The demonstration highlights how different actions, such as brewing, steaming, and using hot water, influence the readiness of the machine, validating the accuracy of the Petri net representation. Video on the Petri net editor WoPeD:    • Simulating Business Processes with WoPeD: ...   The homepage of WoPed including a download link: https://woped.dhbw-karlsruhe.de This is video #58 of the #BPASeries. 00:00 Introduction 01:07 Part 1: How the machine works 04:16 Part 2: Modeling the Petri Net 15:49 Part 3: Verifying the Petri Net Model 19:04 Conclusion #processsimulation ------------------------------------------------------------------------------------------------------------------------- Here is how cite this video in a scientific paper: Hense, A. (2025, February 4). How a Petri Net Explains Espresso Machine Behaviour. Zenodo. https://doi.org/10.5281/zenodo.18322533 -------------------------------------------------------------------------------------------------------------------------