講演名 | 2012-03-08 CPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法と検査への応用 石田 憲秀, 山口 真悟, 上田 滝平, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | エレベータシステムに対する市場ニーズの多様化に伴い,運用に関するモデルベースの研究が重要度を増している.本稿ではツールCPN Toolsを用いて(シングルカーマルチシャフト)エレベータシステムをカラーペトリネットでモデルする方法を提案する.提案法は実在するエレベータシステムをモデル化するのに十分なスケーラビリティを有しており,さらに作成したモデルはシミュレーションだけでなく,モデル検査も行えるという特徴を有している. |
抄録(英) | With the diversification of market needs for elevator systems, model-based research on the operation is becoming more and more important. In this paper, we propose a method for modeling (single-car multi-shaft) elevator systems as colored Petri nets on CPN Tools. The method has enough scalability to model actual elevator systems. Moreover the method enables us to use a generated model for not only simulation but also model checking. |
キーワード(和) | マルチシャフトエレベータシステム / CPN Tools / モデリング / シミュレーション / モデル検査 / セレクティブコレクティブ |
キーワード(英) | multi-shaft elevator system / CPN Tools / modeling / simulation / model checking / selective collective |
資料番号 | MSS2011-79 |
発行日 |
研究会情報 | |
研究会 | MSS |
---|---|
開催期間 | 2012/3/1(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Mathematical Systems Science and its applications(MSS) |
---|---|
本文の言語 | JPN |
タイトル(和) | CPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法と検査への応用 |
サブタイトル(和) | |
タイトル(英) | A Modeling Method of Single-Car Multi-Shaft Elevator Systems on CPN Tools and Its Application |
サブタイトル(和) | |
キーワード(1)(和/英) | マルチシャフトエレベータシステム / multi-shaft elevator system |
キーワード(2)(和/英) | CPN Tools / CPN Tools |
キーワード(3)(和/英) | モデリング / modeling |
キーワード(4)(和/英) | シミュレーション / simulation |
キーワード(5)(和/英) | モデル検査 / model checking |
キーワード(6)(和/英) | セレクティブコレクティブ / selective collective |
第 1 著者 氏名(和/英) | 石田 憲秀 / Norihide ISHIDA |
第 1 著者 所属(和/英) | 山口大学工学部 Faculty of Engineering, Yamaguchi University |
第 2 著者 氏名(和/英) | 山口 真悟 / Shingo YAMAGUCHI |
第 2 著者 所属(和/英) | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
第 3 著者 氏名(和/英) | 上田 滝平 / Ryohei UEDA |
第 3 著者 所属(和/英) | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
発表年月日 | 2012-03-08 |
資料番号 | MSS2011-79 |
巻番号(vol) | vol.111 |
号番号(no) | 453 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |