WEKO3
-
RootNode
アイテム
一般ペトリネットの構造的性質を用いた強L3/L2活性構造の検知
https://ipsj.ixsq.nii.ac.jp/records/220675
https://ipsj.ixsq.nii.ac.jp/records/22067501bbba08-e695-4909-a477-8d755f3c9505
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
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 | |||||||||
| 著者所属 | ||||||||||
| 信州大 | ||||||||||
| 著者所属 | ||||||||||
| 信州大 | ||||||||||
| 著者名 |
芳澤, 祐大
× 芳澤, 祐大
× 和﨑, 克己
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | 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 | |||||||||
| 出版者 | 情報処理学会 | |||||||||
