| 講演名 | 1996/1/19 ペトリネットの一般化サブマーキング可到達問題とその逆問題の解析 松本 忠, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | ペトリネットの一般化サブマーキング可到達問題(GSMR)を含む可到達問題とそれらの逆問題を状態制約なしのもとで9つに分類し、発火回数ベクトル𝓊が未知の諸問題はサブマーキング可到達問題(SMR(⊃MR))に、発火回数ベクトル𝓊が既知の詰問題は𝓊既知の可到達問題(MB-FV)に還元されることを示している。更には、SMR(⊃MR)とMR-FVをPontryaginの離散時間形最小原理(PMP)と線形計画法(LP)を用いて解くアルゴリズムを与えている。 |
| 抄録(英) | Petri nets are useful in modeling concurrent/parallel systems. But, their applications to practice have been slow due to lack of computational tools and techniques capable of dealing with large scale nets. In this paper, first, optimal-control-based analyses aspect of the submarking reachability problems (SMR) included the well-known reachability problems (MR) and MR with a firing count vector (MR-FV) is discussed and semipolynomial time algorithms for SMR ⊃ MR and MR-FV are shown by applying the discrete-time Pontryagin's minimum principle (PMP) which includes the linear programming (LP) for each subproblem optimization, where, but,the checking procedure for critical siphons at each time is neglected in the above time-complexity evaluation. Secondly, it is shown that the reachability problems and their inverse problems with no marking constraints, including the generalized submarking problems (GSMR) and the generalized submarking reachability on a minimum initial marking problems (MIS), are classified into nine problems as in Table 1. Thirdly,it is briefly discussed that other three (three, resp.) problems with an unknown (known, resp.) firing count vector can be reduced to SMR ⊃ MR (MR-FV, resp.). |
| キーワード(和) | ペトリネット / 一般化サブマーキング可到達問題 / 逆問題 / Pontryagnの最小原理 / 線形計画法 / 臨界的サイフォン |
| キーワード(英) | Petri nets / Generalized submarking reachability / Inverse problems / Discrete-time Pontryagin's Minimum principle / Linear programming / Critical siphons |
| 資料番号 | CST95-35 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 1996/1/19(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | ペトリネットの一般化サブマーキング可到達問題とその逆問題の解析 |
| サブタイトル（和） | |
| タイトル（英） | Generalized Submarking Reachability Problems with/without a Firinig Count Vector and their Inverse Problems of Petri Nets |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ペトリネット / Petri nets |
| キーワード(2)（和/英） | 一般化サブマーキング可到達問題 / Generalized submarking reachability |
| キーワード(3)（和/英） | 逆問題 / Inverse problems |
| キーワード(4)（和/英） | Pontryagnの最小原理 / Discrete-time Pontryagin's Minimum principle |
| キーワード(5)（和/英） | 線形計画法 / Linear programming |
| キーワード(6)（和/英） | 臨界的サイフォン / Critical siphons |
| 第 1 著者 氏名（和/英） | 松本 忠 / Tadashi MATSUMOTO |
| 第 1 著者 所属（和/英） | 福井大学 工学部 Faculty of Enginieering, Fukui University |
| 発表年月日 | 1996/1/19 |
| 資料番号 | CST95-35 |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 471 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |