C. V. Ramamoorthy, Yuh Yaw. A petri net reduction algorithm for protocol analysis. In Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986, Stowe, Vermont, United States August 5-7, 1986. pages 157-166, ACM, 1986. [doi]
Abstract is missing.