Methods and application of petri net unfoldings for discrete event system verification ペトリネット展開を用いた離散事象システム検証に関する研究
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Methods and application of petri net unfoldings for discrete event system verification
- タイトル別名
-
ペトリネット展開を用いた離散事象システム検証に関する研究
- 著者名
-
宮本, 俊幸
- 著者別名
-
ミヤモト, トシユキ
- 学位授与大学
-
大阪大学
- 取得学位
-
博士 (工学)
- 学位授与番号
-
甲第5940号
- 学位授与年月日
-
1997-03-25
注記・抄録
博士論文
目次
- Abstract / p1 (0003.jp2)
- Contents / p5 (0005.jp2)
- 1 Introduction / p1 (0006.jp2)
- 1.1 Discrete Event Systems / p1 (0006.jp2)
- 1.2 Contributions and Organization of the Thesis / p3 (0007.jp2)
- 2 Preliminaries / p5 (0008.jp2)
- 2.1 Petri Net Model for Discrete Event Systems / p5 (0008.jp2)
- 2.2 Behavioral Properties of Petri Nets / p7 (0009.jp2)
- 2.3 Analysis Methods / p9 (0010.jp2)
- 3 Constructing Petri Net Unfolding / p25 (0018.jp2)
- 3.1 Introduction / p25 (0018.jp2)
- 3.2 Preliminaries / p27 (0019.jp2)
- 3.3 Improved Algorithm to Construct Unfolding / p30 (0021.jp2)
- 3.4 Experimental Results / p36 (0024.jp2)
- 3.5 Concluding Remarks / p37 (0024.jp2)
- 4 Verifying Petri Nets with Unfoldings / p39 (0025.jp2)
- 4.1 Introduction / p39 (0025.jp2)
- 4.2 Concurrent-Relation Graph / p40 (0026.jp2)
- 4.3 Reachability Verification with Unfoldings / p48 (0030.jp2)
- 4.4 Upper Bound Verification with Unfoldings / p58 (0035.jp2)
- 4.5 Concluding Remarks / p64 (0038.jp2)
- 5 Synthesis of Asynchronous Circuits with Petri Net Unfoldings / p65 (0038.jp2)
- 5.1 Introduction / p65 (0038.jp2)
- 5.2 Synthesis of Asynchronous Circuits from STG's / p69 (0040.jp2)
- 5.3 Synthesis of Asynchronous Circuits with Unfoldings / p73 (0042.jp2)
- 5.4 Experimental Results / p89 (0050.jp2)
- 5.5 Concluding Remarks / p92 (0052.jp2)
- 6 Conclusions / p93 (0052.jp2)