Modeling and simulation of individual passenger transportation in elevator system based on Mark Flow Graph. - Yukina Akiyama; Koji Takahashi (GCCE, 2014)