S. M. Shatz, T. Suzuki, T. Murata. Automated protocol modeling and verification combining an entity-based specification language and Petri nets. In Proceedings of the 13th Annual International Computer Software and Applications Conference, COMPSAC 1989, Orlando, FL, USA, 20-22 September, 1989. pages 580-587, IEEE, 1989. [doi]
Abstract is missing.