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
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
[isVersionOf]
[URI]https://www.jstage.jst.go.jp/browse/transfun
Schools
大学院理工学研究科（工学）