カラーペトリネットに基づく最適資源割当て数理計画の自動生成

• Item type: SIG Technical Reports(1)
• 公開日: 2017-11-09
• タイトル: カラーペトリネットに基づく最適資源割当て数理計画の自動生成
• タイトル / 言語: en
• タイトル: Colored Petri Net based Automatic Generation of Mathematical Programming for Optimum Resource Assignment Problems
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 琉球大学大学院理工学研究科
• 著者所属: 名桜大学国際学群
• 著者所属: 琉球大学大学院理工学研究科
• 著者所属: 琉球大学工学部
• 著者所属(英): en
• 著者所属(英): University of the Ryukyus
• 著者所属(英): en
• 著者所属(英): Meio University
• 著者所属(英): en
• 著者所属(英): University of the Ryukyus
• 著者所属(英): en
• 著者所属(英): University of the Ryukyus
• 著者名: 牛島, 涼介; 天願, 健; Andrea, Veronica Porco; 名嘉村, 盛和
• 著者名(英): Ryosuke, Ushijima; Takeshi, Tengan; Andrea, Veronica Porco; Morikazu, Nakamura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では，カラー時間ペトリネットに基づく資源割当てを最適化する混合整数線形計画問題の自動生成のための手法を提案する．提案手法は，ユーザによってモデル化された S4R というクラスのカラー時間ペトリネットのデータを読み込み，タスク間の先行制約及び資源共有を考慮した上で，あらかじめ設定された時間制約を満足するようなコスト最小の資源割当計画を求めるための混合整数線形計画問題を生成するものである．開発したツールを用いることでユーザーは GUI 環境で処理の流れをネットモデルとしてモデル化することで混合整数線形計画問題を生成できる．生成された混合整数線形計画問題をソルバーに入力することで最適な資源割当ての解を得ることができる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper proposes a method for automatic generation of mixed integer linear programming problems for optimization of resource assignment with multiple resources based on Colored Timed Petri Nets (CPN) model. Our method reads CPN models created by users, analyzes the precedence and competitive relation between tasks, and extracts available resources and incorporating time limit such as delivery date, and finally generates the mixed integer programming problem to solve exactly the resource assignment problem.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN1009593X
• 書誌情報: 研究報告アルゴリズム（AL）; 巻 2017-AL-165, 号 27, p. 1-5, 発行日 2017-11-09
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8566
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会