| Summary: | 博士 === 國防大學中正理工學院 === 國防科學研究所 === 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 that includes delay and duration for traffic systems and air traffic control (ATC) systems. The Timed CPN (TCPN) provides a probability to interpret the dynamic properties in time space. Meanwhile, the presentation of the hierarchical timed CPN (HTCPN) that allowing the designer constructs a large model by combining a number of small CPNs.
This paper focuses on the use of TCPNs to model an urban traffic light control system and an ATC system. And also TCPNs are hired to analyze the two control systems. Based on the TCPN model, a complicated traffic signal model and a signal timing plan with multiple phases which have not been addressed in published literatures are implemented. Furthermore, it expresses that any kinds of sophisticated phase transitions may easily be constructed by TCPNs. The analysis method of place invariant is verified. The analysis of the control TCPN models is performed to demonstrate how the models enforce the transitions of the systems by Occurrence Graphs (OG) method.
This paper forcuses on the domestic traffic light controls whose traffic strategies are fixed time, therefore, the research of the complicated phase transitions and multiple phases are important and practical. In addition, a dynamically procedure for the ATC system is presented by hierarchical timed CPN (HTCPN) models. The advantage of the proposed approach is that the clear presentation of the aircraft behaviors in terms of conditions and events that cause the state transitions.
|
|---|
