WEKO3
アイテム
サブクラス定義に反する閉路検知を利用したペトリネットの詳細解析
https://ipsj.ixsq.nii.ac.jp/records/205102
https://ipsj.ixsq.nii.ac.jp/records/205102e0e130f6-80dc-4f30-af43-ccf6e232fba4
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z82-2M-05.pdf (349.0 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 | |||||||||||
| 内容記述 | ペトリネット援用ツールHiPSに，可達判定条件が判明しているサブクラス群に対して定義に反する閉路を検出する機能を実装する．解析対象は，トラップ・サイフォン包含閉路ネットとその部分集合であるサブクラス群である．始めに，対象ネットがサブクラスに包含されているか判定し，結果が偽であれば，反例である閉路を検出するために閉路探査と閉路の構造解析を実施する．規模が大きいネットの場合，解析処理に多くの計算コストが必要となるため，全体の解析時間短縮のために非同期・並列処理を導入する．更に，解析における優先度の指定や部分的な解析，処理の中断・再開といった機能を導入することで，反例検知の効率化とユーザビリティの向上を目指す． | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN00349328 | |||||||||||
| 書誌情報 |
第82回全国大会講演論文集 巻 2020, 号 1, p. 289-290, 発行日 2020-02-20 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
