Petri Net based Multi-Elevator System with Multi-Agent Environment

I'm trying to build bridges between mathematics and practical subjects like information technolog...