Contents Menu

A modeling method of single-car multi-shaft elevator systems on CPN tools and its application

IEICE technical report Volume 111 Issue 453(MSS2011 72-87) Page 41-46
published_at 2012-03-01
Title
CPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法と検査への応用
A modeling method of single-car multi-shaft elevator systems on CPN tools and its application
Creators Ishida Norihide
Creators Yamaguchi Shingo
Creators Ueda Ryohei
Creator Keywords
マルチシャフトエレベータシステム CPN Tools モデリング シミュレーション モデル検査 セレクティブコレクティブ multi-shaft elevator system modeling simulation model checking selective collective
電子情報通信学会研究会 MSS, 2012-03-08 - 2012-03-09, JAIST東京サテライト.
Languages jpn
Resource Type conference paper
Publishers 電子情報通信学会
Date Issued 2012-03-01
File Version Not Applicable (or Unknown)
Access Rights metadata only access
Relations
[ISSN]0913-5685
[NCID]AA12529664
Schools 大学院理工学研究科(工学)