ペトリネットによる構造解析に関する研究

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

論文No: CT12020

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

発行日: 2012/06/29

タイトル(英語): Reserch structure analysis by the Petri-net

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

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

キーワード: ペトリネット|構造解析|並列構造|アルゴリズム|トランジションインバリアント|Petri-net|structure analysis |parallel structure|algorithm|transition invariant

要約(日本語): 筆者らはこれまでに，ペトリネットモデルによる構造解析の結果，代数的には並列構造を表すが構造的意味をもたない解，いわゆる擬似解が存在していることを示し，構造的意味をもつ解，いわゆる真正解との判別方法を示した．本稿では，その判別方法を用いて，簡易なペトリネットモデルを例としてすべての構造を導き出すアルゴリズムについて考察する．

要約(英語): So far, we have showed method for differentiating really solution and spurious solution that don’t represent structure in consequence of structural analysis by Petri net model. This paper consider algorithm for analysis all structure by use of the method, simple Petri net model as an example.

原稿種別: 日本語

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