| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2010-11-18 10:30 抑止アーク付きワークフローネットに対する健全性判定について ○篠原悠樹・山口真悟（山口大）  CAS2010-65 CST2010-38 |
|
| 抄録 | （和） | ワークフローにおける一部の仕事は優先順位をもつものがある．優先順位をもつワークフローは抑止アーク付きワークフローネットでモデル化できる．ワークフローの論理的な正しさの検証には健全性が利用されているが，抑止アーク付きワークフローネットの健全性の判定は手に負えないと考えられる．本稿では抑止アーク付きワークフローネットの健全性の判定方法を提案する．まず抑止アーク付きワークフローネットを抑止アークなしペトリネットへ変換する．変換後のネットが拡張自由選択ネットならば，Rank Theorem に基づいて，そのペトリネットの有界活性，すなわち元のネットの健全性を多項式時間で判定する．変換後のネットが拡張自由選択ネットでなければ，それを抑止アークなしワークフローネットへ変換し，健全性のモデル検査法を適用する． |
| （英） | There may be a precedence order among activities in a workflow.Such a workflow can be modeled as a workflow net with inhibitor arcs.Soundness enables us to verify the logical correctness of workflows, however it seems to be intractable to verify the soundness of workflow nets with inhibitor arcs.In this paper, we propose a method to verify the soundness of workflow nets with inhibitor arcs. We first transform a given workflow net with inhibitor arcs into a Petri net without the inhibitor arcs. If the Petri net is free choice, we verify whether the net is bounded and live,i.e.~the original net is sound, based on the Rank Theorem in polynomial time.Otherwise we further transform the Petri net into a workflow net without the inhibitor arcs, and then apply a model checking method to the verification of the workflow net. | |
| キーワード | （和） | ワークフローネット / 抑止アーク / 健全性 / 変換 / / / / |
| （英） | workflow net / inhibitor arc / soundness / transformation / / / / | |
| 文献情報 | 信学技報, vol. 110, 2010年11月. | |
| 資料番号 | ||
| 発行日 | 2010-11-11 (CAS, CST) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CAS2010-65 CST2010-38 |
|
| 研究会情報 | |
| 研究会 | MSS CAS |
| 開催期間 | 2010-11-18 - 2010-11-19 |
| 開催地（和） | 関西大学 |
| 開催地（英） | Kansai Univ. |
| テーマ（和） | グラフ、ペトリネット、ニューラルネット及び一般 |
| テーマ（英） | Graphs, Petri Nets, Neural Networks, etc |
| 講演論文情報の詳細 | |
| 申込み研究会 | MSS |
| 会議コード | 2010-11-CST-CAS |
| 本文の言語 | 日本語 |
| タイトル（和） | 抑止アーク付きワークフローネットに対する健全性判定について |
| サブタイトル（和） | |
| タイトル（英） | On Soundness Verification for Workflow Nets with Inhibitor Arcs |
| サブタイトル（英） | |
| キーワード(1)（和/英） | ワークフローネット / workflow net |
| キーワード(2)（和/英） | 抑止アーク / inhibitor arc |
| キーワード(3)（和/英） | 健全性 / soundness |
| キーワード(4)（和/英） | 変換 / transformation |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 篠原 悠樹 / Yuki Shinohara / シノハラ ユウキ |
| 第1著者 所属（和/英） | 山口大学大学院理工学研究科 (略称： 山口大) Yamaguchi University (略称： Yamaguchi Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 山口 真悟 / Shingo Yamaguchi / ヤマグチ シンゴ |
| 第2著者 所属（和/英） | 山口大学大学院理工学研究科 (略称： 山口大) Yamaguchi University (略称： Yamaguchi Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2010-11-18 10:30:00 |
| 発表時間 | 25分 |
| 申込先研究会 | MSS |
| 資料番号 | CAS2010-65, CST2010-38 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | no.283(CAS), no.284(CST) |
| ページ範囲 | pp.1-5 |
| ページ数 | 5 |
| 発行日 | 2010-11-11 (CAS, CST) |
[研究会発表申込システムのトップページに戻る]