講演名 | 1998/1/23 発火回数ベクトルが既知である一般ペトリネットの可到達問題について 松本 忠, 宮野 康, 〓 映中, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 可到達問題はペトリネット理論とその応用における重要な研究テーマの中の一つである。しかし、ペトリネットのいくつかのサブクラスの有用な可到達性判定条件を除いては、制約なし一般ペトリネットに対する有用な可到達性判定法はいまだ与えられていない。本論文では、発火回数ベクトルが既知である一般ペトリネットの基本的な可到達問題に、ネット分割手法を用いて、新しいアプローチを行なっている。すなわち、擬似解が存在するすべての原因を、N_wのマーキング補正特性を用いて、正整数の発火回数ベクトルを持っているすべての極大強連結・サイフォンかつトラップサブネットN_wの挙動に体系化して、まず、形式的な必要十分条件を与えている。次に、N_wの活性かつ可到達性の融合に基づいて、一般ペトリネットの可到達性の判定のための二つの十分条件を与えている。 |
抄録(英) | Reachability problem is one of big issues in Petri net theoly and practice. However, any useful criterion for Petri nets without any restriction has not been obtained except for some subclasses. In this paper, a new approach to the basic reachability problem for general Petri nets with the known firing count vectors is given by Decomposition Method, in which unifying all the causes for spurious solutions to the marking compensation property for every maximal-strongly-connected siphon and trap subnet N_w with a positive integer firing count vector w>0, a formal necessary and sufficient criterion is first given. However, it is not so easy to test this criterion. Then, secondly, based on fusion of liveness and reachability for N_w. two sufficient criteria for reachability are shown for general Petri nets. |
キーワード(和) | ペトリネット / 可到達問題 / 状態方程式 / 擬似解 / ネット分割 / mature or immatureサイフォン/トラップ / 極大強連結サブネット / 活性かつ可到達性の融合 |
キーワード(英) | Petri nets / Reachability / State equation / Spurious solutions / Net decomposition. / Mature or immature siphons/traps / Maximal-strongly-connected subnets / Fusion of liveness and reachability / T-invariants |
資料番号 | CST97-38 |
発行日 |
研究会情報 | |
研究会 | CST |
---|---|
開催期間 | 1998/1/23(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Concurrent System Technology (CST) |
---|---|
本文の言語 | ENG |
タイトル(和) | 発火回数ベクトルが既知である一般ペトリネットの可到達問題について |
サブタイトル(和) | |
タイトル(英) | A Framework of Reachability Problems for General Petri Nets with Known Firing Count Vectors |
サブタイトル(和) | |
キーワード(1)(和/英) | ペトリネット / Petri nets |
キーワード(2)(和/英) | 可到達問題 / Reachability |
キーワード(3)(和/英) | 状態方程式 / State equation |
キーワード(4)(和/英) | 擬似解 / Spurious solutions |
キーワード(5)(和/英) | ネット分割 / Net decomposition. |
キーワード(6)(和/英) | mature or immatureサイフォン/トラップ / Mature or immature siphons/traps |
キーワード(7)(和/英) | 極大強連結サブネット / Maximal-strongly-connected subnets |
キーワード(8)(和/英) | 活性かつ可到達性の融合 / Fusion of liveness and reachability |
第 1 著者 氏名(和/英) | 松本 忠 / Tadashi MATSUMOTO |
第 1 著者 所属(和/英) | 福井大学工学部 Faculty of Engineering, Fukui University |
第 2 著者 氏名(和/英) | 宮野 康 / Yasushi MIYANO |
第 2 著者 所属(和/英) | 福井大学工学部 Faculty of Engineering, Fukui University |
第 3 著者 氏名(和/英) | 〓 映中 / Ying-Zhong JIANG |
第 3 著者 所属(和/英) | 福井大学工学部 Faculty of Engineering, Fukui University |
発表年月日 | 1998/1/23 |
資料番号 | CST97-38 |
巻番号(vol) | vol.97 |
号番号(no) | 507 |
ページ範囲 | pp.- |
ページ数 | 10 |
発行日 |