Victor R. L. Shen, Gibran. Petri net analysis on path protection of a multipath system with bounded buffers. In IEEE International Conference on Consumer Electronics - Taiwan, ICCE-TW 2014, Taipei, Taiwan, May 26-28, 2014. pages 31-32, IEEE, 2014. [doi]
Abstract is missing.