コンテンツメニュー

On polynomial time checking on reachability in sound cyclic Well-Structured workflow nets

IEICE technical report Volume 113 Issue 421 Page 47-52
published_at 2014-01-23
Title
健全なサイクリックWell-Structuredワークフローネットの可達性の多項式時間判定について
On polynomial time checking on reachability in sound cyclic Well-Structured workflow nets
Creators Qu Yuan
Creators Yamaguchi Shingo
Creator Keywords
ワークフローネット ペトリネット releasing 可達性 多項式時間
Languages jpn
Resource Type journal article
Publishers 電子情報通信学会
Date Issued 2014-01-23
File Version Not Applicable (or Unknown)
Access Rights metadata only access
Relations
[ISSN]0913-5685
[NCID]AA12529664
Schools 大学院理工学研究科 大学院理工学研究科(工学)