フルテキスト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 |