Modeling, Analysis and Simulation for Intelligent Traffic Light Control Systems and Air Traffic Control Procedure Systems
博士 === 國防大學中正理工學院 === 國防科學研究所 === 96 === Coloured Petri net (CPN) has been utilized as a visual formalism for the modeling of complex systems. It illuminates the features on describing properties of causality, concurrency and synchronization. It is more important to model the temporal behavior tha...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2008
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/14092766633918010475 |