| フルテキストURL | フルテキストリンクなし |
|---|
| タイトル | Polynomial time verification of protocol inheritance between acyclic extended free-choice workflow nets and their subnets |
|---|
| 作成者 | Yamaguchi, Shingo
Hirakawa, Tomohiro
|
|---|
| 作成者ヨミ | ヤマグチ, シンゴ
ヒラカワ, トモヒロ
|
|---|
| 作成者別表記 | 山口, 真悟
|
|---|
| 作成者所属 | 山口大学大学院理工学研究科（工学）
|
|---|
| 本文言語 | eng
|
|---|
| 著者キーワード | workflow net
behavioral inheritance
protocol inheritance
necessary and sufficient condition
polynomial time procedure
|
|---|
| 資料タイプ | text |
|---|
| 出版者 | 電子情報通信学会
|
|---|
| 出版者ヨミ | デンシ ジョウホウ ツウシン ガッカイ
|
|---|
| NII資料タイプ | 学術雑誌論文 |
|---|
| ISSN | 0916-8508
|
|---|
| NCID | AA10826239
AA11510296
|
|---|
| 掲載誌名 | IEICE transactions on fundamentals of electronics, communications and computer sciences |
|---|
| 巻 | E96-A |
|---|
| 号 | 2 |
|---|
| 開始ページ | 505 |
|---|
| 終了ページ | 513 |
|---|
| 発行日 | 2013-02 |
|---|
| DOI | info:doi/10.1587/transfun.E96.A.505 |
|---|
| 関連情報URL(IsPartOf) | https://www.jstage.jst.go.jp/browse/transfun
|
|---|
| 著者版/出版社版 | その他 |
|---|
| リポジトリID | 2012011322 |
|---|
| 地域区分 | 山口大学
|
|---|
| URI | http://www.lib.yamaguchi-u.ac.jp/yunoca/handle/2012011322 |
|---|