Japanese | English

トップページへ戻る

詳細

   
フルテキストURLフルテキストリンクなし
タイトルPolynomial time verification of reachability in sound extended free-choice workflow nets
作成者Yamaguchi, Shingo
作成者ヨミヤマグチ, シンゴ
作成者別表記山口, 真悟
作成者所属山口大学大学院理工学研究科(工学)
本文言語eng
著者キーワードPetri net
Workflow net
Reachability
Extended free-choice
Well-structured
Polynomial time algorithm
資料タイプtext
出版者電子情報通信学会
出版者ヨミデンシ ジョウホウ ツウシン ガッカイ
NII資料タイプ学術雑誌論文
ISSN0916-8508
NCIDAA10826239
掲載誌名IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
E97-A
2
開始ページ468
終了ページ475
発行日2014
DOIinfo:doi/10.1587/transfun.E97.A.468
関連情報URL(IsPartOf)https://www.jstage.jst.go.jp/browse/transfun
著者版/出版社版その他
リポジトリID2014010165
地域区分山口大学
URIhttp://www.lib.yamaguchi-u.ac.jp/yunoca/handle/2014010165