| No | 50744 |
|---|---|
| 標題（和） | 並行システムのデッドロック・フリ-化の方法について |
| 標題（英） | How to Make Concurrent Systems Deadlock-Free? |
| 研究会名（和） | 通信方式; ディジタル信号処理 |
| 研究会名（英） | Communication Systems; Digital Signal Processing |
| 開催年月日 | 1994-01-27 |
| 終了年月日 | 1994-01-28 |
| 会議種別コード | 2 |
| 共催団体名（和） | |
| 資料番号 | CS93-167 // DSP93-91 |
| 抄録（和） | 並行, 分散的な離散事象システムのペトリネットモデルが一般ペトリネットNであるときの、初期マ-キングの下での活性の必要十分条件が求められた〔18〕。本論文ではこの結果を基にして、種々の離散事象システムのペトリネットモデルの作成、ネットの活性検証、更には、不活性ネットの活性化(デッドロック・フリ-化)を容易にするために、deadネットを初期マ-キング依存deadと絶対的deadに大別し、それぞれの場合の不活性の条件を明かにしている。又、不活性ネットのデッドロック・フリ-化法をネットのモデル化の立場から考察している。 |
| 抄録（英） | Petri nets are useful models for concurrent, distributed discrete event systems.The initialmarking-based necessary and sufficient condition for liveness in general Petri nets has been given in£18!.In this paper,conditions for dead nets are derived for the cases of initialmarking-dependent dead and absolutely dead and the results are useful for modeling concurrent/distributed discrete event systems by Petri nets,verifying liveness of Petri nets,and activating messed concurrent/distributed systems. |
| 収録資料名（和） | 電子情報通信学会技術研究報告 |
| 収録資料の巻号 | Vol.93 No.444,445 |
| ページ開始 | 15 |
| ページ終了 | 22 |
| キーワード（和） | 見掛けのd-t性 |
| キーワード（英） | vertual d-t properties |
| 本文の言語 | 日本語と英語混合 |
| 著者（和） | 山崎伸一 |
| 著者（ヨミ） | ヤマザキシンイチ |
| 著者（英） | Yamazaki Shinichi |
| 所属機関（和） | 福井大学工学部 |
| 所属機関（英） | Faculty of Engineering,Fukui University |
| 著者（和） | 松本忠 |
| 著者（ヨミ） | マツモトタダシ |
| 著者（英） | Matsumoto Tadashi |
| 所属機関（和） | 福井大学工学部 |
| 所属機関（英） | Faculty of Engineering,Fukui University |