Contents Menu

Yamaguchi Shingo

Affiliate Master Yamaguchi University

On polynomial time verification of protocol inheritance between extended free choice workflow nets and their subnets

電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report Volume 111 Issue 405(MSS2011 54-71) Page 33-38
published_at 2012-01-19
Title
拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について
On polynomial time verification of protocol inheritance between extended free choice workflow nets and their subnets
Creators Hirakawa Tomohiro
Creators Yamaguchi Shingo
Creator Keywords
ワークフロー ワークフローネット 振舞い継承 多項式時間判定 workflow workflow net behavioral inheritance subnet polynomial time verification
電子情報通信学会研究会 SS MSS, 2012-01-26 - 2012-01-27, 高知市文化プラザかるぽーと.
Languages jpn
Resource Type conference paper
Publishers 電子情報通信学会
Date Issued 2012-01-19
File Version Not Applicable (or Unknown)
Access Rights metadata only access
Relations
[ISSN]0913-5685
[NCID]AA12529664
[isVersionOf] [NAID]http://ci.nii.ac.jp/naid/40019152704
Schools 大学院理工学研究科(工学)