Research on modeling for submarine cable monitoring system based on timed colored Petri Nets | IEEE Conference Publication | IEEE Xplore