| 講演名 | 2002/5/22 ワークフロー記述向きの時間付きカラーペトリネット 岡野 浩三, 山口 昭, 谷口 健一, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本研究ではワークフローを記述するための,時間制約付きカラーペトリネット(CPN-t)を提案する.CPN-tを用いて,作業の中断再開およびそれにともなう経過累積作業時間を表現でき,時間制約を持つグループワークを自然に表現することができる.また,CPN-tで記述されたワークフローから各作業者のスケジュールを線形制約式を用いて導出する方法を提案する. |
| 抄録(英) | This paper presents semantics of coloured Petri-nets with time constraints (CPN-t). In this model, we can naturally describe a workflow of group-work with time constraints, such as suspend/resume of work. Also this paper presents a method to derive a schedule for each worker from a given description of workflow in CPN-t. This method uses linear programming to derive schedules from a given description. |
| キーワード(和) | カラーペトリネット / 時間制約 / ワークフロー / 線形計画法 |
| キーワード(英) | coloured Petri-net / time constraint / workflow / linear programming |
| 資料番号 | CST2002-4 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2002/5/22(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ワークフロー記述向きの時間付きカラーペトリネット |
| サブタイトル（和） | |
| タイトル（英） | Coloured Petri-nets with time constraints for workflow descriptions |
| サブタイトル（和） | |
| キーワード(1)（和/英） | カラーペトリネット / coloured Petri-net |
| キーワード(2)（和/英） | 時間制約 / time constraint |
| キーワード(3)（和/英） | ワークフロー / workflow |
| キーワード(4)（和/英） | 線形計画法 / linear programming |
| 第 1 著者 氏名（和/英） | 岡野 浩三 / Kozo OKANO |
| 第 1 著者 所属（和/英） | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
| 第 2 著者 氏名（和/英） | 山口 昭 / Akira YAMAGUCHI |
| 第 2 著者 所属（和/英） | 大阪大学大学院情報科学研究科:(現)三菱電機株式会社 Graduate School of Information Science and Technology, Osaka University:(Present Address)Mitsubishi Electric Corp. |
| 第 3 著者 氏名（和/英） | 谷口 健一 / Kenichi TANIGUCHI |
| 第 3 著者 所属（和/英） | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
| 発表年月日 | 2002/5/22 |
| 資料番号 | CST2002-4 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 96 |
| ページ範囲 | pp.- |
| ページ数 | 4 |
| 発行日 | |