Polynomial time verification of reachability in sound extended free-choice workflow nets
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume E97-A Issue 2
Page 468-475
published_at 2014
Title
Polynomial time verification of reachability in sound extended free-choice workflow nets
Creator Keywords
Petri net
Workflow net
Reachability
Extended free-choice
Well-structured
Polynomial time algorithm
Languages
eng
Resource Type
journal article
Publishers
電子情報通信学会
Date Issued
2014
File Version
Not Applicable (or Unknown)
Access Rights
metadata only access
Relations
[ISSN]0916-8508
[NCID]AA10826239
[isVersionOf]
[URI]https://www.jstage.jst.go.jp/browse/transfun
Schools
大学院理工学研究科（工学）