文献

J-GLOBAL ID：200902286232250740   整理番号：08A0812825

バッチ処理アークを伴うマーク付きグラフの可到達性問題

Reachability Problem of Marked Graphs with Batch Processing Arcs

著者 (3件)： MIZUNO Nami (DENSOTECHNO CO., Ltd.) ,  OHTA Atsushi (Aichi Prefectural Univ., Aichi, JPN) ,  TSUJI Kohkichi (Aichi Prefectural Univ., Aichi, JPN)
資料名： Annual Conference of the IEEE Industrial Electronics Society  (Annual Conference of the IEEE Industrial Electronics Society)
巻： 33rd Vol.1  ページ： 70-75  発行年： 2007年 
JST資料番号： H0475B  ISSN： 1553-572X  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Petriネットは,プレースおよび遷移と呼ぶノードからなる有向二部グラフであり,離散事象システムの効果的な数学モデル化ツールである。遷移の一回の発火で,その入力プレース中のすべてのトークンを移動するバッチ処理アークと呼ぶPetriネットの拡張が提案されている。この拡張により,PetriネットはTuring機械と等価となるが,これは可到達性問題を含む大部分の重要な解析問題が決定不能になることを意味する。本論文は,各プレースの入出力アーク数がそれぞれ1であるPetriネットのサブクラスであるマーク付きグラフが,バッチ処理アークを伴う場合の可到達性問題を考察した。遷移は,すべての入射アークが,通常のアークかバッチ処理アークかに分類されることを前提した。この前提下で,バッチ処理アークのないマーク付きグラフの可到達性に対する必要十分条件は,バッチ処理アークのある場合に拡張されることを示した。

シソーラス用語： *Petriネット ,  部分グラフ ,  離散系 ,  数学モデル ,  モデリング ,  トークン ,  バッチ処理 ,  有向グラフ ,  Turing機械 ,  等価性 ,  非決定性 ,  *可到達性 ,  条件
準シソーラス用語： 二部グラフ ,  離散事象システム ,  遷移 ,  必要十分条件

分類 (1件)： システム・制御理論一般  (IA02010H)

タイトルに関連する用語 (5件)： バッチ処理 ,  アーク ,  マーク ,  グラフ ,  可到達性