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
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
大学院理工学研究科（工学）