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