Petri net analysis on path protection of a multipath system with bounded buffers | IEEE Conference Publication | IEEE Xplore