Modeling of elevator control logic based on Mark Flow Graph and its implementation on programmable logic controller | IEEE Conference Publication | IEEE Xplore