コンテンツメニュー
publish year2010 - 2014 keywordbehavioral inheritance
publish year
2010 - 2014 2
keyword
behavioral inheritance 2 workflow net 2 necessary and sufficient condition 1 polynomial time procedure 1 polynomial time verification 1 protocol inheritance 1 subnet 1 workflow 1 ワークフロー 1 ワークフローネット 1 多項式時間判定 1 振舞い継承 1
Show More
Show Less
resource type
conference paper 1 journal article 1
school
大学院理工学研究科（工学） 2
Result 2 Items
Id (<span class="translation_missing" title="translation missing: en.view.desc">Desc</span>)
Polynomial time verification of protocol inheritance between acyclic extended free-choice workflow nets and their subnets
IEICE transactions on fundamentals of electronics, communications and computer sciences Volume E96-A Issue 2
Creators : Yamaguchi Shingo | Hirakawa Tomohiro Publishers : 電子情報通信学会 Date Issued : 2013-02
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)
Creators : Hirakawa Tomohiro | Yamaguchi Shingo Publishers : 電子情報通信学会 Date Issued : 2012-01-19
Related Creatrors
Yamaguchi Shingo 2
Yamaguchi Univ. Library
〒753-8511　1677-1 Yoshida, Yamaguchi, Yamaguchi

E-Mail: yunoca@yamaguchi-u.ac.jp
Copyright（C）2006-2018 Yamaguchi University Library. All Rights Reserved.