Protocol analysis using numerical Petri nets. - Geoffrey R. Wheeler; Michael C. Wilbur-Ham; Jonathan Billington; J. A. Gilmour (Applications and Theory in Petri Nets, 1985)

Automated protocol verification. - Jonathan Billington; Michael C. Wilbur-Ham; M. Y. Bearman (PSTV, 1985)

A Methodology for Protocol Engineering. - Geoffrey R. Wheeler; Timothy J. Batten; Jonathan Billington; Michael C. Wilbur-Ham (ICCC, 1986)

PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. - Jonathan Billington; Geoffrey R. Wheeler; Michael C. Wilbur-Ham (IEEE Trans. Software Eng., 1988)