WEKO3
アイテム
ペトリネット構造解析の効率化を目的としたヒューリスティック探査手法の実装
https://ipsj.ixsq.nii.ac.jp/records/205101
https://ipsj.ixsq.nii.ac.jp/records/205101d9bff834-4e17-4d6c-bf1d-4b482a282b5c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z82-2M-04.pdf (278.1 kB)
|
Copyright (c) 2020 by the Information Processing Society of Japan
|
| Item type | National Convention(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2020-02-20 | |||||||||||
| タイトル | ||||||||||||
| タイトル | ペトリネット構造解析の効率化を目的としたヒューリスティック探査手法の実装 | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | ソフトウェア科学・工学 | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| 信州大 | ||||||||||||
| 著者所属 | ||||||||||||
| 信州大 | ||||||||||||
| 著者所属 | ||||||||||||
| 信州大 | ||||||||||||
| 著者名 |
南, 史弥
× 南, 史弥
× 張江, 洋次朗
× 和﨑, 克己
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 深さ優先探索を用いた強連結成分分解時の情報を用いて，極小サイフォン・トラップ構造を，充足可能性判定，接続行列を用いたインバリアント解析よりも効率良く検出するようなヒューリスティックアルゴリズムを提案する．まず，ネットに対して強連結成分分解を行う．強連結ごとにネット内に複数存在する構造の共通部分が含まれている場合，フローが分岐する特徴点から深さ優先探索を用いて，性質を満足するプレースの探査を開始する．共通部分に戻ってきた場合，探索したプレース列をサイフォン・トラップ候補リストに保存する．共通部分から分岐する全ての路を探査し，かつ全ての強連結成分に対し探査が終了した後，サイフォン・トラップ構造を成しているかどうかの真偽判定を候補リストに対して行う． | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN00349328 | |||||||||||
| 書誌情報 |
第82回全国大会講演論文集 巻 2020, 号 1, p. 287-288, 発行日 2020-02-20 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
