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