Analysis of Clocked Petri Nets Using Stubborn Sets and Time Warp Distributed Simulator
碩士 === 國立臺灣大學 === 電機工程學系 === 85 === Petri nets, a useful model for concurrent systems, lack the notion of time which is critical in modeling real-time systems. Thus, Petri nets, in general, are not appropriate for modeling systems on which...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
1997
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/40041455923237692787 |