Tatsuya Tsukamoto, Koji Takahashi. Modeling of elevator control logic based on Mark Flow Graph and its implementation on programmable logic controller. In IEEE 3rd Global Conference on Consumer Electronics, GCCE 2014, Tokyo, Japan, 7-10 October 2014. pages 599-600, IEEE, 2014. [doi]
Abstract is missing.