NETWORK PLANNING IN REAL TIME MODE USING THE TEMPORAL LOGIC
The problems of work of network planning systems operating in real-time mode are investigated. The usage of the mathematical apparatus of temporal logic to determine the formal properties of processes of network planning in real time, which make it possible to monitor and forecast these processes, is considered in the article. The use of semantics for propositional logic for formalizing the requirements for performing work plan is presented.