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)

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)

Tool Demonstration: FORSEE. - Jonathan Billington; Geoffrey R. Wheeler; Brian Keck; Ken R. Parker (FORTE, 1991)

The Modelling and Analysis of IEEE 802.6's Configuration Control Protocol with Coloured Petri Nets. - Geoffrey R. Wheeler (Application of Petri Nets to Communication Networks, 1999)