No |
28644 |
標題(和) |
時間付ペトリネットによる通信プロトコルのトランスポ-ト層およびセッション層の動作検証 |
標題(英) |
Verification for transport layer and session layer of communication protocols by using timed Petri nets |
研究会名(和) |
通信方式 |
研究会名(英) |
Communication Systems |
開催年月日 |
1990-10-18 |
終了年月日 |
1990-10-19 |
会議種別コード |
2 |
共催団体名(和) |
|
資料番号 |
CS90-56 |
抄録(和) |
本論文では、OSIのトランスポ-ト層(下位層)のみならず、セッション層(上位層)についてもペトリネットでモデル化し、更に上位層と下位層が結合した場合の解析を行う。具体的には、各層のプロトコルを規定している状態遷移表のモデル化規則と各層のモデルの結合規則を示す。次に、時間付ペトリネットを時間なしぺトリネットとして解析できるようにするための変換規則を示す。更に状態遷移表のぺトリネットモデルの構造的特徴を示し、最後に、状態遷移表で規定されるプロトコルのぺトリネットモデルは有界であり、かつ、初期マ-キングのもとでレべル1で活性であることを示す。 |
抄録(英) |
|
収録資料名(和) |
電子情報通信学会技術研究報告 |
収録資料の巻号 |
Vol.90 No.246,247 |
ページ開始 |
19 |
ページ終了 |
24 |
キーワード(和) |
構造的性質 |
キーワード(英) |
structural property |
本文の言語 |
JPN |
著者(和) |
松本忠 |
著者(ヨミ) |
マツモトタダシ |
著者(英) |
Matsumoto Tadashi |
所属機関(和) |
福井大学工学部 |
所属機関(英) |
Faculty of Engineering,Fukui University |
著者(和) |
辻孝吉 |
著者(ヨミ) |
ツジコウキチ |
著者(英) |
Tsuji Kohkichi |
所属機関(和) |
福井大学工学部 |
所属機関(英) |
Faculty of Engineering,Fukui University |