Hotel Safe Petri Net Model
Channel: YAWL User Group
Date: 2023-02-24

A Petri net for a hotel safe

This Petri net simulates a lock of a hotel safe with three digits. The digits are not entered on a keypad - unlike the safe shown in the footage - but by repeated pressing on one buttung for each digit.

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

Game over by ScreamStudio
https://freesound.org/people/ScreamStudio/sounds/412168/
CC0 1.0 Universal (CC0 1.0)
https://creativecommons.org/publicdomain/zero/1.0/

Beep sound by SimoneGianni 
https://freesound.org/people/SimoneGianni/sounds/614980/
CC BY 3.0
https://creativecommons.org/licenses/by/3.0/

Arcade level by ScreamStudio
https://freesound.org/people/ScreamStudio/sounds/412165/
CC0 1.0 Universal (CC0 1.0)
Public Domain Dedication