| 講演名 | 2003/7/29 時間付きペトリネットの発火遅延操作に基づく発火系列探索(コンカレント工学一般) 立畑 剛, 田岡 智志, 渡邉 敏正, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 時間付きペトリネットの最大発火スケジューリング問題(MAX TPS)とは,『時間付きペトリネットTPN,初期マーキングM,発火回数ベクトルXが与えられたとき,次の(i)～(iii)を満たす発火系列δを求めよ:(i)X'≦XなるX'に関してMから順次発火可能,(ii)(i)をみたすδの長さ|δ|が最大,(iii)(ii)をみたすδの中で実行終了時間τ(δ)が最小』と定義される.ただし,X'≦Xとは各t∈TについてX'(t)≦X(t)であることを意味する.本稿では,MAX TPSに対する発見的解法SDS2-pdcを提案し,計算機実験によってSDS2-pdcが既存手法より高性能であることを示す. |
| 抄録(英) | The Timed Petri Net Maximum Scheduling Probrem (MAX TPS for short) is defined as follows: "Given a timed Petri net TPN, an initial marking M and a firing count vector X, find a firing sequence δ satisfying the following (i) through (iii): (i) δ is legal on M with respect to some X'≦X; (ii) the length |δ| of δis maximum among those sequences satisfying (i), (iii) the completion time τ(δ) of δ is minimum among those satisfying (ii), where X'≦X means that X'(t) ≦ X(t) for any t ∈ T." This paper proposes a heuristic algorithm SDS2-pdc and shows, through computational experiment, that its capability is the highest among existing ones. |
| キーワード(和) | 時間付きペトリネット / スケジューリング / 発火系列問題 |
| キーワード(英) | timed Petri nets / scheduling / legal firing sequence problems |
| 資料番号 | CST2003-12 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 2003/7/29(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 時間付きペトリネットの発火遅延操作に基づく発火系列探索(コンカレント工学一般) |
| サブタイトル（和） | |
| タイトル（英） | Finding Legal Firing Sequences of Timed Petri Nets Based on Postponing Firing Activity of Transitions |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 時間付きペトリネット / timed Petri nets |
| キーワード(2)（和/英） | スケジューリング / scheduling |
| キーワード(3)（和/英） | 発火系列問題 / legal firing sequence problems |
| 第 1 著者 氏名（和/英） | 立畑 剛 / Tsuyoshi TACHIBATAKE |
| 第 1 著者 所属（和/英） | 広島大学大学院工学研究科情報工学専攻 Graduate School of Engineering, Hiroshima University |
| 第 2 著者 氏名（和/英） | 田岡 智志 / Satoshi TAOKA |
| 第 2 著者 所属（和/英） | 広島大学大学院工学研究科情報工学専攻 Graduate School of Engineering, Hiroshima University |
| 第 3 著者 氏名（和/英） | 渡邉 敏正 / Toshimasa WATANABE |
| 第 3 著者 所属（和/英） | 広島大学大学院工学研究科情報工学専攻 Graduate School of Engineering, Hiroshima University |
| 発表年月日 | 2003/7/29 |
| 資料番号 | CST2003-12 |
| 巻番号（vol） | vol.103 |
| 号番号（no） | 247 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |