Contents Menu

Yamaguchi Shingo

Affiliate Master Yamaguchi University

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 Page 505-513
published_at 2013-02
Title
Polynomial time verification of protocol inheritance between acyclic extended free-choice workflow nets and their subnets
Creators Yamaguchi Shingo
Creators Hirakawa Tomohiro
Creator Keywords
workflow net behavioral inheritance protocol inheritance necessary and sufficient condition polynomial time procedure
Languages eng
Resource Type journal article
Publishers 電子情報通信学会
Date Issued 2013-02
File Version Not Applicable (or Unknown)
Access Rights metadata only access
Relations
[ISSN]0916-8508
[NCID]AA10826239
[NCID]AA11510296
info:doi/10.1587/transfun.E96.A.505
[isVersionOf] [URI]https://www.jstage.jst.go.jp/browse/transfun
Schools 大学院理工学研究科(工学)