In this paper a modeling method of ATC system is developed by using object Petri net. The formalized definition of the senior Petri net is given and illustrated by a practical example.
文摘In this paper a modeling method of ATC system is developed by using object Petri net. The formalized definition of the senior Petri net is given and illustrated by a practical example.