Analysis of Reachability and Self-Stabilization for Some Infinite-State Systems
博士 === 國立臺灣大學 === 電機工程學研究所 === 94 === Petri nets, being regarded as one of the most successful formal and graphical tools for modeling and analyzing of distributed and/or concurrent systems, are extensively applied by industry, academia, and many other areas during the past years. The primary purpos...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_US |
| Published: |
2005
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/21246698411850707668 |