| 講演名 | 1996/5/23 Verification of asynchronous systems based on Petri Net unfoldings , |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | |
| 抄録(英) | This paper deals with a verification of a formal specification of asynchronous system on its implementability by a speed-independent circuit. A specification model is Signal Transition Graphs which are an interpretation of Petri nets with falling and rising transitions of signals. The implementability conditions are formulated in such a way that they can be checked by analysis of ordering relations between signal transitions rather than by traversal of states. This allows to avoid the state explosion problem for highly parallel specifications. The method is based on PN unfolding into an equivalent acyclic description. The experimental results show that for higly parallel STGs checking the implementability by unfolding is by 1-2 orders of magnitude less time consuming than through a symbolic BDD traversal. |
| キーワード(和) | |
| キーワード(英) | asynchronous design / Petri net / formal verification / speed-independence |
| 資料番号 | CST96-3 |
| 発行日 |
| 研究会情報 | |
| 研究会 | CST |
|---|---|
| 開催期間 | 1996/5/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Concurrent System Technology (CST) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | |
| サブタイトル（和） | |
| タイトル（英） | Verification of asynchronous systems based on Petri Net unfoldings |
| サブタイトル（和） | |
| キーワード(1)（和/英） | / asynchronous design |
| 第 1 著者 氏名（和/英） | / Alex Kondratyev |
| 第 1 著者 所属（和/英） | The University of Aizu |
| 発表年月日 | 1996/5/23 |
| 資料番号 | CST96-3 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 57 |
| ページ範囲 | pp.- |
| ページ数 | 7 |
| 発行日 | |