Elevator simulation is used often as a case study for petri nets. There is quite a bit of PN material using elevators. Eg https://www.youtube.com/watch?v=59jW9

Elevator simulation is used often as a case study for petri nets. There is quite a bit of PN material using elevators. Eg https://www.youtube.com/watch?v=59jW9dngt_c https://www.youtube.com/watch?v=59jW9dngt_c PNs are a great way of modelling the concurrent state handling required for something like this.