競合なしリソース付きwell-structuredワークフローネットの最大スループットの計算について(グラフ,ペトリ,ニューラルネット及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,競合なしリソース付きwell-structuredワークフローネット(CF-Res-WSWFネット)に対する最大スループットの計算について議論する.まずCF-Res-WSWFネットの定義を与える.CF-Res-WSWFネットは直列経路,並列経路,条件付き経路から構成されるワークフローをモデル化できる.次に,CF-Res-WSWFネットの構造的性質と動的性質を示す.それから,それらの性質を活用することによって,全ての事例(ワークフローインスタンス)がFirst-In First-Outの順に処理されるという条件下で,最大スループットを計算する方法を提案する.最後に,実際のワークフローをモデル化したネットに対する最大スループットの計算例を通じて,その計算法を説明する.
- 社団法人電子情報通信学会の論文
- 2004-10-28
著者
-
山口 真悟
山口大学大学院理工学研究科
-
田中 稔
山口大学大学院理工学研究科
-
葛 崎偉
山口大学教育学部
-
田中 稔
山口大学工学部知能情報システム工学科
-
山口 真悟
山口大学工学部
-
國吉 圭介
山口大学大学院理工学研究科
-
葛 崎偉
広島大学工学部
関連論文
- 自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて
- 自由選択ワークフローネットのWell-Structuredワークフローネットへのリファクタリングについて
- A-12-1 Well-Structuredワークフローネットへのリファクタリングの提案(A-12.コンカレント工学,一般セッション)
- アクションを共有するワークフローネットに対する振る舞い継承と健全性を満たす合成規則(ペトリネット,離散事象システム,一般)
- ワークフローネットの健全性判定に対するモデル検査法について
- トークン分布に依存した停止性のSWITCH-lessネットに対する判定について(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
- CSTソリューションコンペティション2007及び2008の総括(ペトリネット,離散事象システム,一般)
- AI-2-1 CSTソリューションコンペティション2008 : 総括(AI-2.CSTソリューションコンペティション2008:表彰式・シンポジウム,ソサイエティ企画)
- A-12-2 Acyclic well-structuredワークフローネットに対する直列化可能性判定法の提案(A-12.コンカレント工学,一般セッション)
- A-12-3 ワークフローネットにおける関心事とその強調法について(A-12.コンカレント工学,一般セッション)