コンテンツメニュー

On polynomial time checking on reachability in sound extended free-choice workflow nets

電子情報通信学会技術研究報告. MSS, システム数理と応用 Volume 112 Issue 383 Page 17-21
published_at 2013-01-15
Title
健全な拡張自由選択ワークフローネットの可達性の多項式時間判定について
On polynomial time checking on reachability in sound extended free-choice workflow nets
Creators Kanoh Daiki
Creators Yamaguchi Shingo
Creator Keywords
ペトリネット ワークフローネット 可達性 多項式時間アルゴリズム
Languages jpn
Resource Type journal article
Publishers 電子情報通信学会
Date Issued 2013-01-15
File Version Not Applicable (or Unknown)
Access Rights metadata only access
Relations
[ISSN]0913-5685
[NCID]AA12529664
[isVersionOf] [NAID]http://ci.nii.ac.jp/naid/110009727378/
[isVersionOf] [URI]http://ci.nii.ac.jp/vol_issue/nels/AA12529664_ja.html
Schools 大学院理工学研究科(工学)