キーワード
model checking
部局
大学院理工学研究科（工学）
発行年
2010 - 2014
2
キーワード
model checking
2
CPN Tools
1
modeling
1
multi-shaft elevator system
1
selective collective
1
signaling pathway
1
simulation
1
the amount of description
1
timed Petri nets
1
timed automata
1
シミュレーション
1
セレクティブコレクティブ
1
マルチシャフトエレベータシステム
1
モデリング
1
モデル検査
1
もっと見る
元に戻す
種類
会議発表論文
1
学術雑誌論文
1
部局
大学院理工学研究科（工学）
2
検索結果 2 件
登録番号 (降順)
表示順
なし
登録番号(昇順)
登録番号(降順)
更新日 (昇順)
更新日 (降順)
公開日 (昇順)
公開日 (降順)
発行年月日 (昇順)
発行年月日 (降順)
山口大学学術機関リポジトリYUNOCA
An efficient translation method from timed petri nets to timed automata
IEICE transactions on fundamentals of electronics, communications and computer sciences E95-A 巻 8 号
作成者
: Nakano Shota | 山口 真悟
出版者
: Institute of Electronics, Information and Communication Engineers
発行日
: 2012-08
山口大学学術機関リポジトリYUNOCA
CPN Toolsによるシングルカーマルチシャフトエレベータシステムのモデル化法と検査への応用
電子情報通信学会技術研究報告. MSS, システム数理と応用 111 巻 453(MSS2011 72-87) 号
作成者
: 石田 憲秀 | 山口 真悟 | 上田 滝平
出版者
: 電子情報通信学会
発行日
: 2012-03-01
関連作成者
山口 真悟
2
