说明: 通用库,允许递归实时非确定性设置自动机施工时间的确定性(General purpose library that allows the construction of recursive deterministic automaton in real-time from non-deterministic settings)
The objective is to use the protocol that contains the flow of packages between two systems: the transmitter and the receiver. The transmitting system is continuously sending packages to the receiver with different time distributions.