マルチカーエレベータシステムへのマークフローグラフの適用

摘要

マルチカーエレベータシステムでは、同一シャフト内に複数のカゴがあるため、衝突を回避し安全を確保することが必須である。また、その群管理においては複数のシャフト間の連携が重要になる。そこで、セーフな離散事象システム制御のための手法であるマークフローグラフによりモデル化し、制御設計に適用を試みた。