講演抄録/キーワード |
講演名 |
2006-01-27 11:40
マルチエージェントネットの可達空間生成アルゴリズム ○坂本雅樹・宮本俊幸・熊谷貞俊(阪大) |
抄録 |
(和) |
通常,システムの解析にはモデル化が行われる.ペトリネットは並行・分散型の離散事象システムの記述に適したモデル記述言語として知られている.近年,システムの設計や解析のオブジェクト指向化にあわせて様々なオブジェクト指向ペトリネットが提案されており,我々の研究室でもnets-within-nets型のマルチエージェントネットという拡張ペトリネットを提案している.本論文ではマルチエージェントネットの可達解析を行うための可達空間生成アルゴリズムについて述べる. |
(英) |
Usually, the analysis of a system is performed with modeling. The Petri net is known as a model description language suitable for modeling of oncurrent and distributed discrete event systems. In recent years, as object orientation was adopted for design and analysis of systems, various object-oriented Petri nets were proposed. And we proposed an object-oriented Petri net called a multi agent net as a modeling language with nets-within-nets paradigm. In this paper, we describe a reachable state space generation algorithm for reachability analysis of multi agent net. |
キーワード |
(和) |
ペトリネット / 可達解析 / モデル検査 / 検証 / / / / |
(英) |
Petri nets / reachability analysis / model checking / verification / / / / |
文献情報 |
信学技報, vol. 105, 2006年1月. |
資料番号 |
|
発行日 |
2006-01-20 (CST) |
ISSN |
Print edition: ISSN 0913-5685 |
PDFダウンロード |
|