| 講演名 | 2014/2/27 ブリッジレスワークフローネットの諸性質と判定法について(WIPセッション,スマートエレベータ及び一般) 土肥 慎介, 山口 真悟, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | ワークフローネット(の短絡ネット)は閉路,ハンドル,ブリッジに分解できることが知られている.本稿では,まずブリッジレスワークフローネットの諸性質を明らかにした:アサイクリックブリッジレスワークフローネットのクラスは自由選択である;アサイクリックブリッジレスワークフローネットはWell-Structuredであるとき,かつそのときに限り,健全である.また,アサイクリックブリッジレスワークフローネットの多項式時間の判定手順を提案した. |
| 抄録(英) | A workflow net is known to be divided to cycles, handles, and bridges. In this paper, we first revealed properties on bridge-less workflow nets: Any acyclic bridge-less workflow net is free choice; An acyclic bridge-less workflow net is well-structured (or well-handled) if and only if it is sound. We also proposed a polynomial-time procedure to decide whether a given workflow net is bridge-less. |
| キーワード(和) | ペトリネット / ワークフローネット / 閉路 / ハンドル / ブリッジ |
| キーワード(英) | Petri net / workflow net / cycle / handle / bridge |
| 資料番号 | MS2013-94 |
| 発行日 |
| 研究会情報 | |
| 研究会 | MSS |
|---|---|
| 開催期間 | 2014/2/27(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Mathematical Systems Science and its applications(MSS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ブリッジレスワークフローネットの諸性質と判定法について(WIPセッション,スマートエレベータ及び一般) |
| サブタイトル（和） | |
| タイトル（英） | On Properties and a Decision Method of Bridge-Less Workflow Nets |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ペトリネット / Petri net |
| キーワード(2)（和/英） | ワークフローネット / workflow net |
| キーワード(3)（和/英） | 閉路 / cycle |
| キーワード(4)（和/英） | ハンドル / handle |
| キーワード(5)（和/英） | ブリッジ / bridge |
| 第 1 著者 氏名（和/英） | 土肥 慎介 / Shinsuke DOHI |
| 第 1 著者 所属（和/英） | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 第 2 著者 氏名（和/英） | 山口 真悟 / Shingo YAMAGUCHI |
| 第 2 著者 所属（和/英） | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 発表年月日 | 2014/2/27 |
| 資料番号 | MS2013-94 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 466 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |