Modeling and analysis of redundancy in remote monitoring and control systems via petri nets.

Cheng Guo, Zheng Qin

Browse the full ICINCO paper archive.