Radiator Fan Petri Net
Channel: YAWL User Group
Date: 2023-02-17

A Petri net that simulates a radiator fan in a car. The fan can run at two different speeds and there is a simple temperature sensor that enables the transition between the states of the fan. The Petri net abstracts from time.

You can find supplementary material on github:
https://github.com/ahense/bpa
Click on "Code"/Download zip to get the whole package. 

Radiator video by @Busaru
https://youtu.be/0DjRzl4TKIM
https://creativecommons.org/licenses/by/3.0/legalcode