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