シーケンス制御におけるペトリネットによる構造解析に関する研究

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

論文No: CT13002

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

発行日: 2013/03/01

タイトル(英語): Research on structure analysis for the Petri-net representing sequential control

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

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

キーワード: シーケンス制御|ペトリネット|構造解析|トランジションインバリアント|sequential control|Petri-net|structure analysis|transition invariant

要約(日本語): 筆者らはペトリネットのトランジションインバリアントによる構造解析について研究してきた。この構造解析によってサイクル構造、並列構造、正規構造に分類できることが分かった。並列構造の中には構造的意味を持たないものも存在しており、それを除外する手法を提案した。その手法を用いて、すべての構造を導出するアルゴリズムを開発した。本稿では、シーケンス制御システムに対してアルゴリズムを適用した結果について示す。

要約(英語): We have analyzed structures of Petri-net by using transition invariants. Since we also found that some invariants don’t correspond to structures, we proposed the method to remove false solutions from all solutions. Also we developed the algorithm with the method. We show a result of structure analysis with the algorithm for the Petri-net representing sequential control system.

原稿種別: 日本語

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