ログイン 新規登録
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 全国大会
  2. 82回
  3. ソフトウェア科学・工学

ペトリネット構造解析の効率化を目的としたヒューリスティック探査手法の実装

https://ipsj.ixsq.nii.ac.jp/records/205101
https://ipsj.ixsq.nii.ac.jp/records/205101
d9bff834-4e17-4d6c-bf1d-4b482a282b5c
名前 / ファイル ライセンス アクション
IPSJ-Z82-2M-04.pdf 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
著者所属
信州大
著者所属
信州大
著者所属
信州大
著者名 南, 史弥

× 南, 史弥

南, 史弥

Search repository
張江, 洋次朗

× 張江, 洋次朗

張江, 洋次朗

Search repository
和﨑, 克己

× 和﨑, 克己

和﨑, 克己

Search repository
論文抄録
内容記述タイプ Other
内容記述 深さ優先探索を用いた強連結成分分解時の情報を用いて,極小サイフォン・トラップ構造を,充足可能性判定,接続行列を用いたインバリアント解析よりも効率良く検出するようなヒューリスティックアルゴリズムを提案する.まず,ネットに対して強連結成分分解を行う.強連結ごとにネット内に複数存在する構造の共通部分が含まれている場合,フローが分岐する特徴点から深さ優先探索を用いて,性質を満足するプレースの探査を開始する.共通部分に戻ってきた場合,探索したプレース列をサイフォン・トラップ候補リストに保存する.共通部分から分岐する全ての路を探査し,かつ全ての強連結成分に対し探査が終了した後,サイフォン・トラップ構造を成しているかどうかの真偽判定を候補リストに対して行う.
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN00349328
書誌情報 第82回全国大会講演論文集

巻 2020, 号 1, p. 287-288, 発行日 2020-02-20
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-19 19:58:59.969137
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3