ペトリネットによるシーケンス制御システムの静的解析に関する研究

カテゴリ: 部門大会

論文No: GS1-1

グループ名: 【C】平成25年電気学会電子・情報・システム部門大会講演論文集

発行日: 2013/09/04

タイトル(英語): Research of Static Analysis for Sequential Control System using Petri-net

著者名: 奥田 誠(神奈川県産業技術センター),長尾 達明(神奈川県産業技術センター),水矢 亨(神奈川県産業技術センター),宮澤 以鋼(神奈川県産業技術センター),高橋 宏治(東京工業大学)

著者名(英語): Makoto Okuda(Kanagawa Industrial Technology Center),Tatsuaki Nagao(Kanagawa Industrial Technology Center),Toru Mizuya(Kanagawa Industrial Technology Center),Iko Miyazawa(Kanagawa Industrial Technology Center),Koji Takahashi(Tokyo Institute of Technology)

キーワード: ペトリネット|シーケンス制御システム|静的解析|トランジションインバリアント|プレースインバリアント|Petri-net|Sequential Control System|Static Analysis|Transition Invariant|Place Invariant

要約(日本語): 近年，要求仕様の増大に伴って複雑化したシーケンス制御システムでは，設計段階において解析を行うことで，早期に不具合を発見することが重要である．シーケンス制御システムの設計段階では，処理の流れや各処理における機器のリソースなどを記述する．ここで検証すべきことは，「処理の流れ」，制御システムの典型的な処理である「繰り返し制御」，「選択処理」，「並列処理」，各処理における「機器のリソース」が設計仕様と比較して正しく記述されていることである．設計段階においてこれらが検証できれば，早期に不具合を発見でき，生産性の向上につながることが期待できる．本書では，離散システムの表現に適したペトリネットを用いて，シーケンス制御システムの設計段階における検証方法について提案する．

PDFファイルサイズ: 5,393 Kバイト