| 講演名 | 2014-03-06 TPハンドルをもつワークフローネットのプロトコル継承を維持する健全化に対するスーパーバイザ制御を活用したアプローチ(一般,スマートエレベータ及び一般) 長野 聡一郎, 山口 真悟, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿ではTPハンドルをもつ自由選択ワークフローネットに対する健全化方法を提案する.この問題の対象となるワークフローネットの多くは異常な終了状態を持つ.そこで提案法では(1)異常な終了状態をスーパーバイザ制御を用いて禁止し,(2)異常な終了状態への遷移を正常な終了状態へ変更するようにネットヘトランジションを追加する.提案法に基づき手順を構築した.これにより先行研究では健全化できなかったネットも健全化できるようになった. |
| 抄録(英) | In this paper, we propose how to soundize free-choice workflow nets having TP-handles. Such a workflow net usually has abnormal termination states. So we (1) use supervisory control to prohibit those states, and then (2) change the transitions from the abnormal termination states to the normal termination states. We construct a procedure based on the idea. This procedure enables us to soundize free-choice workflow nets with TP-handles which cannot be soundized in the previous work. |
| キーワード(和) | ペトリネット / ワークフローネット / 健全化 / スーパーバイザ制御 |
| キーワード(英) | Petri net / workflow net / soundization / supervisory control |
| 資料番号 | MSS2013-76 |
| 発行日 |
| 研究会情報 | |
| 研究会 | MSS |
|---|---|
| 開催期間 | 2014/2/27(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Mathematical Systems Science and its applications(MSS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | TPハンドルをもつワークフローネットのプロトコル継承を維持する健全化に対するスーパーバイザ制御を活用したアプローチ(一般,スマートエレベータ及び一般) |
| サブタイトル（和） | |
| タイトル（英） | A Supervisory Control Based Approach to Protocol Inheritance Preserving Soundization for Workflow Nets with TP-Handles |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ペトリネット / Petri net |
| キーワード(2)（和/英） | ワークフローネット / workflow net |
| キーワード(3)（和/英） | 健全化 / soundization |
| キーワード(4)（和/英） | スーパーバイザ制御 / supervisory control |
| 第 1 著者 氏名（和/英） | 長野 聡一郎 / Soichiro NAGANO |
| 第 1 著者 所属（和/英） | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 第 2 著者 氏名（和/英） | 山口 真悟 / Shingo YAMAGUCHI |
| 第 2 著者 所属（和/英） | 山口大学大学院理工学研究科 Graduate School of Science and Engineering, Yamaguchi University |
| 発表年月日 | 2014-03-06 |
| 資料番号 | MSS2013-76 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 466 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |