| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2018-11-12 15:50 閉路フロー行列変換によるペトリネットの安定部分ネットの検知 ○張江洋次朗・和﨑克己（信州大）  CAS2018-64 MSS2018-40 |
|
| 抄録 | （和） | ペトリネットは，離散事象システムを表現・解析が可能な数学的手法の一つである.ペトリネットの動的解析には初期状態からの振る舞いを状態空間として生成する必要があり，状態空間が大規模になると計算時間や記憶領域のコストが大きくなる状態爆発の問題が存在する．大規模ネットに対する現実的な解析法として，ネット分割やネット縮約がある． ペトリネットのプレース内の重み付きトークン総和が一定であることを示す性質に$S$-インバリアントがある． 状態方程式からインバリアントを求めるが，その総数は一般的に未確定であり，安定的な振る舞いの部分ネットを容易に取り出すことは性質検証や状態生成において有益であるといえる． 本研究はペトリネットの部分ネット分割を行うにあたり，プレース間のトークンの増減の比率を接続とする，重み付き有向グラフ「フローネット」への変換を行う． フローネット上でトークン数が一定であることを示す基準としてStabilityを定義し，与えられた分割に対しStabilityに基づき評価する最大化問題へ帰着させる． 分割はノード集合の集合族で得られるが，連結成分のみを抽出することで効率化を図る． 本稿では，対象ネットを閉路ネットに限定し，活性なFCネットを例に安定部分ネットの検知が可能であることを示した． |
| （英） | Petri net is a graphical and mathematical modeling tool describes distributed systems. For dynamic analysis of Petri net, it is necessary to generate behaviors from the initial state as state space. However, there is a problem that exploring an large state space incurs significant memory and time costs. In the analysis method for large scale net, graph partitioning and contraction are proposed. The S-invariant is a property which means the total sum of weighted tokens in Petri net places is constant. Although invariants are obtained from state equations, the total number is generally unknown. Therefore, for the easy retrieval of partial net of stable behavior is useful for property verification and state generation. In this research, in order to perform partial net partitioning of Petri nets, we convert to the weighted directed graph "Flow-net" with the ratio of increase / decrease of tokens between places as a connection. We define "Stability" as a criterion for the constant number of tokens on the flow net. It reduces to a maximizing problem that evaluates based on Stability for a given partition. Graph partitioning can be obtained by a set of family of node sets, but for the efficiency we extract only connected components. In this paper, we show that the detection of Stability subnet of the liveness Free Choice net is enabled restricting target net to cycle net. |
|
| キーワード | （和） | ペトリネット / フロー行列変換 / グラフ分割 / 安定部分ネット / Stability / / / |
| （英） | Petri Net / Flow-Matrix Transformation / Graph Partitioning / Stability Subnet / Stability / / / | |
| 文献情報 | 信学技報, vol. 118, no. 296, MSS2018-40, pp. 37-42, 2018年11月. | |
| 資料番号 | MSS2018-40 | |
| 発行日 | 2018-11-05 (CAS, MSS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CAS2018-64 MSS2018-40 |
|
| 研究会情報 | |
| 研究会 | MSS CAS IPSJ-AL |
| 開催期間 | 2018-11-12 - 2018-11-13 |
| 開催地（和） | 熱海伊豆山温泉 ハートピア熱海 |
| 開催地（英） | |
| テーマ（和） | システムのモデリングと制御・検証・最適化の手法，機械学習的アプローチ及び一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2018-11-MSS-CAS-AL |
| 本文の言語 | 日本語 |
| タイトル（和） | 閉路フロー行列変換によるペトリネットの安定部分ネットの検知 |
| サブタイトル（和） | |
| タイトル（英） | Stability Subnet Detection of Petri Net by Circuit Flow-Matrix Transformation |
| サブタイトル（英） | |
| キーワード(1)（和/英） | ペトリネット / Petri Net |
| キーワード(2)（和/英） | フロー行列変換 / Flow-Matrix Transformation |
| キーワード(3)（和/英） | グラフ分割 / Graph Partitioning |
| キーワード(4)（和/英） | 安定部分ネット / Stability Subnet |
| キーワード(5)（和/英） | Stability / Stability |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 張江 洋次朗 / Yojiro Harie / ハリエ ヨウジロウ |
| 第1著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： Shinshu Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 和﨑 克己 / Katsumi Wasaki / |
| 第2著者 所属（和/英） | 信州大学 (略称： 信州大) Shinshu University (略称： Shinshu Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2018-11-12 15:50:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | CAS2018-64, MSS2018-40 |
| 巻番号（vol） | vol.118 |
| 号番号（no） | no.295(CAS), no.296(MSS) |
| ページ範囲 | pp.37-42 |
| ページ数 | 6 |
| 発行日 | 2018-11-05 (CAS, MSS) |
[研究会発表申込システムのトップページに戻る] (日本語ページの行間係数: 1)