ログイン 新規登録
言語:

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/205102
https://ipsj.ixsq.nii.ac.jp/records/205102
e0e130f6-80dc-4f30-af43-ccf6e232fba4
名前 / ファイル ライセンス アクション
IPSJ-Z82-2M-05.pdf 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
著者所属
信州大
著者所属
信州大
著者所属
信州大
著者名 渡貫, 正也

× 渡貫, 正也

渡貫, 正也

Search repository
張江, 洋次朗

× 張江, 洋次朗

張江, 洋次朗

Search repository
和﨑, 克己

× 和﨑, 克己

和﨑, 克己

Search repository
論文抄録
内容記述タイプ Other
内容記述 ペトリネット援用ツールHiPSに,可達判定条件が判明しているサブクラス群に対して定義に反する閉路を検出する機能を実装する.解析対象は,トラップ・サイフォン包含閉路ネットとその部分集合であるサブクラス群である.始めに,対象ネットがサブクラスに包含されているか判定し,結果が偽であれば,反例である閉路を検出するために閉路探査と閉路の構造解析を実施する.規模が大きいネットの場合,解析処理に多くの計算コストが必要となるため,全体の解析時間短縮のために非同期・並列処理を導入する.更に,解析における優先度の指定や部分的な解析,処理の中断・再開といった機能を導入することで,反例検知の効率化とユーザビリティの向上を目指す.
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN00349328
書誌情報 第82回全国大会講演論文集

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

Versions

Ver.1 2025-01-19 19:59:01.512476
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