Japanese | English

トップページへ戻る

詳細

   
フルテキストURLフルテキストリンクなし
タイトル拡張自由選択ワークフローネットとそのサブネット間のProtocol継承の多項式時間判定について
タイトルヨミカクチョウ ジユウ センタク ワークフロー ネット ト ソノ サブネット カン ノ Protocol ケイショウ ノ タコウシキ ジカン ハンテイ ニツイテ
タイトル別表記On polynomial time verification of protocol inheritance between extended free choice workflow nets and their subnets
作成者平川, 智悠
山口, 真悟
作成者ヨミヒラカワ, トモヒロ
ヤマグチ, シンゴ
作成者別表記Hirakawa, Tomohiro
Yamaguchi, Shingo
作成者所属山口大学大学院理工学研究科(工学)
内容記述(抄録等)電子情報通信学会研究会 SS MSS, 2012-01-26 - 2012-01-27, 高知市文化プラザかるぽーと.
本文言語jpn
著者キーワードワークフロー
ワークフローネット
振舞い継承
多項式時間判定
workflow
workflow net
behavioral inheritance
subnet
polynomial time verification
資料タイプtext
出版者電子情報通信学会
出版者ヨミデンシ ジョウホウ ツウシン ガッカイ
NII資料タイプ会議発表論文
ISSN0913-5685
NCIDAA12529664
掲載誌名電子情報通信学会技術研究報告. MSS, システム数理と応用 : IEICE technical report
111
405(MSS2011 54-71)
開始ページ33
終了ページ38
発行日2012-01-19
関連情報URL(IsVersionOf)http://ci.nii.ac.jp/naid/40019152704
著者版/出版社版その他
リポジトリID2012010402
地域区分山口大学
URIhttp://www.lib.yamaguchi-u.ac.jp/yunoca/handle/2012010402