Modeling and simulation of individual passenger transportation in elevator system based on Mark Flow Graph | IEEE Conference Publication | IEEE Xplore