Japanese | English

トップページへ戻る

詳細

   
フルテキストURLフルテキストリンクなし
タイトル健全な拡張自由選択ワークフローネットの可達性の多項式時間判定について
タイトルヨミケンゼンナ カクチョウ ジユウ センタク ワーク フローネット ノ カタツセイ ノ タコウシキ ジカン ハンテイ ニツイテ
タイトル別表記On polynomial time checking on reachability in sound extended free-choice workflow nets
作成者加納, 大暉
山口, 真悟
作成者ヨミカノウ, ダイキ
ヤマグチ, シンゴ
作成者別表記Kanoh, Daiki
Yamaguchi, Shingo
作成者所属山口大学大学院理工学研究科(工学)
本文言語jpn
著者キーワードペトリネット
ワークフローネット
可達性
多項式時間アルゴリズム
資料タイプtext
出版者電子情報通信学会
出版者ヨミデンシ ジョウホウ ツウシン ガッカイ
NII資料タイプ学術雑誌論文
ISSN0913-5685
NCIDAA12529664
掲載誌名電子情報通信学会技術研究報告. MSS, システム数理と応用
112
383
開始ページ17
終了ページ21
発行日2013-01-15
関連情報URL(IsVersionOf)http://ci.nii.ac.jp/naid/110009727378/
関連情報URL(IsPartOf)http://ci.nii.ac.jp/vol_issue/nels/AA12529664_ja.html
著者版/出版社版その他
リポジトリID2014010347
地域区分山口大学
URIhttp://www.lib.yamaguchi-u.ac.jp/yunoca/handle/2014010347