ペトリネット構造に関する一考察

カテゴリ: 研究会(論文単位)

論文No: CT10008

グループ名: 【C】電子・情報・システム部門 制御研究会

発行日: 2010/12/20

タイトル(英語): Considerations on Petri Net Structure

著者名: 奥田 誠(神奈川県産業技術センター),長尾 達明(神奈川県産業技術センター),宮澤 以鋼(神奈川県産業技術センター)

著者名(英語): Makoto Okuda(Kanagawa Industrial Technology Center),Tatsuaki Nagao(Kanagawa Industrial Technology Center),Iko Miyazawa(Kanagawa Industrial Technology Center)

キーワード: ペトリネット|機能安全|ファンクションブロック|非常停止|構造解析|Petri net|functional safety|function block|emergency stop|structural analysis

要約(日本語): 生産システム分野における安全関連の企画については既に多く制定されている．しかし，機能安全FBの検証手法については確立されていない．本稿では，機能安全FBの１つである非常停止FBについて，その状態遷移図の検証手段としてペトリネットへの変換を行い，ペトリネットモデルによる構造特性を解析することについて論じる．さらに，ペトリネットによる構造解析の問題点を提起し，その解決方法について考察する．

原稿種別: 日本語

PDFファイルサイズ: 580 Kバイト