Methods and application of petri net unfoldings for discrete event system verification ペトリネット展開を用いた離散事象システム検証に関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Methods and application of petri net unfoldings for discrete event system verification
- Other Title
-
ペトリネット展開を用いた離散事象システム検証に関する研究
- Author
-
宮本, 俊幸
- Author(Another name)
-
ミヤモト, トシユキ
- University
-
大阪大学
- Types of degree
-
博士 (工学)
- Grant ID
-
甲第5940号
- Degree year
-
1997-03-25
Note and Description
博士論文
Table of Contents
- 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)