ログイン 新規登録
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

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

一般ペトリネットの構造的性質を用いた強L3/L2活性構造の検知

https://ipsj.ixsq.nii.ac.jp/records/220675
https://ipsj.ixsq.nii.ac.jp/records/220675
01bbba08-e695-4909-a477-8d755f3c9505
名前 / ファイル ライセンス アクション
IPSJ-Z84-6M-04.pdf IPSJ-Z84-6M-04.pdf (393.2 kB)
Copyright (c) 2022 by the Information Processing Society of Japan
Item type National Convention(1)
公開日 2022-02-17
タイトル
タイトル 一般ペトリネットの構造的性質を用いた強L3/L2活性構造の検知
言語
言語 jpn
キーワード
主題Scheme Other
主題 ソフトウェア科学・工学
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_5794
資源タイプ conference paper
著者所属
信州大
著者所属
信州大
著者名 芳澤, 祐大

× 芳澤, 祐大

芳澤, 祐大

Search repository
和﨑, 克己

× 和﨑, 克己

和﨑, 克己

Search repository
論文抄録
内容記述タイプ Other
内容記述 ペトリネットの動的性質の1つに活性と呼ばれる性質があり,条件の厳しさによりL0~L4と活性レベルが定義されている.強L3活性トランジション,強L2活性トランジションが存在するために必要な構造を強L3活性構造,強L2活性構造と呼ぶ.強L3活性構造は反復する閉路(L3閉路), L3閉路の活性を打ち消すトランジション(CircuitBreaker), L3閉路から供給されるトークンを受け取るプレース(k-プレース)の3つの要素で構成され,強L2活性構造はCircuitBreaker発火後にのみ無トークン状態が解除されるプレース(Enabler)とk-プレースによって構成される.準反復性,準保存性,有界性と呼ばれる,一般ペトリネットの構造的性質を用いて,これらの構造の検知を行う.
書誌レコードID
収録物識別子タイプ NCID
収録物識別子 AN00349328
書誌情報 第84回全国大会講演論文集

巻 2022, 号 1, p. 425-426, 発行日 2022-02-17
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-19 14:28:33.300405
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