Japanese | English

トップページへ戻る

詳細

   
フルテキストURLフルテキストリンクなし
タイトルCPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法と検査への応用
タイトルヨミCPN Tools ニヨル シングル カー マルチ シャフト エレベータ システム ノ モデルカホウ ト ケンサ エノ オウヨウ
タイトル別表記A modeling method of single-car multi-shaft elevator systems on CPN tools and its application
作成者石田, 憲秀
山口, 真悟
上田, 滝平
作成者ヨミイシダ, ノリヒデ
ヤマグチ, シンゴ
ウエダ, リョウヘイ
作成者別表記Ishida, Norihide
Yamaguchi, Shingo
Ueda, Ryohei
作成者所属山口大学大学院理工学研究科(工学)
内容記述(抄録等)電子情報通信学会研究会 MSS, 2012-03-08 - 2012-03-09, JAIST東京サテライト.
本文言語jpn
著者キーワードマルチシャフトエレベータシステム
CPN Tools
モデリング
シミュレーション
モデル検査
セレクティブコレクティブ
multi-shaft elevator system
modeling
simulation
model checking
selective collective
資料タイプtext
出版者電子情報通信学会
出版者ヨミデンシ ジョウホウ ツウシン ガッカイ
NII資料タイプ会議発表論文
ISSN0913-5685
NCIDAA12529664
掲載誌名電子情報通信学会技術研究報告. MSS, システム数理と応用
掲載誌名別表記IEICE technical report
111
453(MSS2011 72-87)
開始ページ41
終了ページ46
発行日2012-03-01
著者版/出版社版その他
リポジトリID2012010375
地域区分山口大学
URIhttp://www.lib.yamaguchi-u.ac.jp/yunoca/handle/2012010375