Yamaguchi Shingo

Affiliate Master Yamaguchi University

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