文献

J-GLOBAL ID：201802225650003677   整理番号：18A2209521

閉路フロー行列変換によるペトリネットの安定部分ネットの検知

Stability Subnet Detection of Petri Net by Circuit Flow-Matrix Transformation

著者 (2件)： 張江洋次朗 (信州大 大学院総合工学系研究科) ,  和崎克己 (信州大 工)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 118  号： 296(MSS2018 37-53)  ページ： 37-42  発行年： 2018年11月05日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ペトリネットは,離散事象システムを表現・解析が可能な数学的手法の一つである。ペトリネットの動的解析には初期状態からの振る舞いを状態空間として生成する必要があり,状態空間が大規模になると計算時間や記憶領域のコストが大きくなる状態爆発の問題が存在する。大規模ネットに対する現実的な解析法として,ネット分割やネット縮約がある。ペトリネットのプレース内の重み付きトークン総和が一定であることを示す性質にS-インバリアントがある。状態方程式からインバリアントを求めるが,その総数は一般的に未確定であり,安定的な振る舞いの部分ネットを容易に取り出すことは性質検証や状態生成において有益であるといえる。本研究はペトリネットの部分ネット分割を行うにあたり,プレース間のトークンの増減の比率を接続とする,重み付き有向グラフ「フローネット」への変換を行う。フローネット上でトークン数が一定であることを示す基準としてStabilityを定義し,与えられた分割に対しStabilityに基づき評価する最大化問題へ帰着させる。分割はノード集合の集合族で得られるが,連結成分のみを抽出することで効率化を図る。本稿では,対象ネットを閉路ネットに限定し,活性なFCネットを例に安定部分ネットの検知が可能であることを示した。(著者抄録)

シソーラス用語： *Petriネット ,  *分割 ,  不変量 ,  状態変数法 ,  閉路 ,  有向グラフ ,  安定性 ,  *ネットワーク法 ,  動的解析 ,  離散系
準シソーラス用語： *グラフ分割 ,  フローネットワーク ,  *安定部分ネット ,  重み付きネットワーク ,  状態空間法 ,  離散事象システム

分類 (1件)： ネットワーク法  (KA03040X)

引用文献 (14件)：

• T. Murata, “Petri nets: Properties, analysis and applications,” Proceedings of the IEEE, vol.77, no.4, pp.541-580, April 1989.
• J.L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall PTR, Upper Saddle River, NJ, USA, 1981.
• W. Reisig, Petri Nets: An Introduction, vol.4, EATCS Monographs on Theoretical Computer Science, Springer, 1985.
• H. Jia, S. Ding, X. Xu, and R. Nie, “The latest research progress on spectral clustering,” Neural Computing and Applications, vol.24, no.7-8, pp.1477-1486, 2014.
• D.A. Zaitsev, “Decomposition of petri nets,” Cybernetics and Systems Analysis, vol.40, no.5, pp.739-746, Sept. 2004.

タイトルに関連する用語 (5件)： 閉路 ,  フロー ,  行列 ,  ペトリネット ,  ネット