Japanese | English

トップページへ戻る

詳細

   
フルテキストURLフルテキストリンクなし
タイトルRefactoring problem of acyclic extended free-choice workflow nets to acyclic well-structured workflow nets
作成者Yamaguchi, Shingo
作成者ヨミヤマグチ, シンゴ
作成者別表記山口, 真悟
作成者所属山口大学大学院理工学研究科(工学)
本文言語eng
著者キーワードBranching bisimilarity
Refactoring
Soundness
Well-structured
Workflow net
資料タイプtext
出版者Institute of Electronics, Information and Communication Engineers
NII資料タイプ学術雑誌論文
ISSN0916-8532
NCIDAA10826272
AA11510321
掲載誌名IEICE transactions on information and systems
E95-D
5
開始ページ1375
終了ページ1379
発行日2012-05
DOIinfo:doi/10.1587/transinf.E95.D.1375
関連情報URL(IsPartOf)http://ci.nii.ac.jp/vol_issue/nels/AA10826272_jp.html
著者版/出版社版その他
リポジトリID2012010280
地域区分山口大学
URIhttp://www.lib.yamaguchi-u.ac.jp/yunoca/handle/2012010280