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 大学院理工学研究科（工学）