| 1999 |
|---|
| 5 | | Geoffrey R. Wheeler:
The Modelling and Analysis of IEEE 802.6's Configuration Control Protocol with Coloured Petri Nets.
Application of Petri Nets to Communication Networks 1999: 69-92 |
| 1991 |
|---|
| 4 | | Jonathan Billington,
Geoffrey R. Wheeler,
Brian Keck,
Ken R. Parker:
Tool Demonstration: FORSEE.
FORTE 1991: 457-461 |
| 1988 |
|---|
| 3 | EE | Jonathan Billington,
Geoffrey R. Wheeler,
Michael C. Wilbur-Ham:
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols.
IEEE Trans. Software Eng. 14(3): 301-316 (1988) |
| 1986 |
|---|
| 2 | | Geoffrey R. Wheeler,
Timothy J. Batten,
Jonathan Billington,
Michael C. Wilbur-Ham:
A Methodology for Protocol Engineering.
ICCC 1986: 525-530 |
| 1985 |
|---|
| 1 | | Geoffrey R. Wheeler,
Michael C. Wilbur-Ham,
Jonathan Billington,
J. A. Gilmour:
Protocol analysis using numerical Petri nets.
Applications and Theory in Petri Nets 1985: 435-452 |
