The transition rules model for real-time process control
Tài liệu tham khảo
Parthasarathy, 1979, A logical model for the remote control of power systems topology, Math. Comput. Simulation, 21, 221, 10.1016/0378-4754(79)90137-X
Minty, 1960, Monotone networks, Proc. R. Soc., A 257, 194, 10.1098/rspa.1960.0144
Berge, 1970
1983, Reference manual for the Ada programming language, ANSI-MIL-STD-1815