Billington, J.

• Billington, Jonathan; Han, Bing:
  Modelling and analysing the functional behaviour of TCPs connection management procedures. 2007.

• Gallasch, Guy Edward; Billington, Jonathan; Vanit-Anunchai, Somsak; Kristensen, Lars Michael:
  Checking safety properties on-the-fly with the sweep-line method. 2007.

• Liu, Lin; Billington, Jonathan:
  Verification of the Capability Exchange Signalling protocol. 2007.

• Gallasch, Guy; Billington, Jonathan:
  A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. 2006.

• Lilith, Nimrod; Billington, Jonathan; Freiheit, Jörn,:
  Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets. 2006.

• Vanit-Anunchai, S.; Billington, J.:
  Effect of Sequence Number Wrap on DCCP Connection Establishment. 2006.

• Gallasch, Guy; Billington, Jonathan:
  A Parametric State Space for the Analysis of the Infinite Class of Stop-and-Wait Protocols. 2006.

• Gallasch, Guy; Han, Bing; Billington, Jonathan:
  Sweep-Line Analysis of TCP Connection Management. 2005.

• Gallasch, Guy Edward; Billington, Jonathan:
  Using Parametric Automata for the Verification of the Stop-and-Wait Class of Protocols. 2005.

• Vanit-Anunchai, Somsak; Billington, Jonathan; Kongprakaiwoot, Tul:
  Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. 2005.

• Han, Bing; Billington, Jonathan:
  Termination Properties of TCP's Connection Management Procedures. 2005.

• Liu, L.; Billington, J.:
  Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step. 2005.

• Billington, J.; Gallasch, G.E.; Kristensen, L.M.; Mailund, T.:
  Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States. 2004.

• Liu, Lin; Billington, Jonathan:
  Reducing Parametric Automata: A Multimedia Protocol Service Case Study. 2004.

• Villapol, M.E.; Billington, J.:
  A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol. 2004.

• Gallasch, Guy E.; Ouyang, Chun; Billington, Jonathan; Kristensen, Lars M.:
  Experimenting with Progress Mappings for the Sweep-Line Analysis of the Internet Open Trading Protocol. 2004.

• Han, B.; Billington, J.:
  Experience using Coloured Petri Nets to Model TCP's Connection Management Procedures. 2004.

• Han, B.; Billington, Jonathan:
  Experience with Modelling TCP's Connection Management Procedures with CPNs. 2004.

• Vanit-Anunchai, Somsak; Billington, Jonathan:
  Modelling Probalistic Inference using Coloured Petri Nets and Factor Graphs. 2004.

• Ouyang, Chun; Billington, Jonathan:
  Formal Analysis of the Internet Open Trading Protocol. 2004.

• Vanit-Anunchai, S.; Billington, J.:
  Initial Result of a Formal Analysis of DCCP Connection Management. 2004.

• Billington, Jonathan; Gallasch, Guy Edward; Han, Bing:
  A Coloured Petri Net Approach to Protocol Verification. 2004.

• Freiheit, J.; Billington, J.:
  Closed-Form Token Distribution Computation of GSPNs Without Synchronisation. 2004.

• Freiheit, Jörn; Billington, Jonathan:
  Using TimeNET to Evaluate Operational Planning Processes. 2004.

• Ouyang, C.; Billington, J.:
  An Improved Formal Specification of the Internet Open Trading Protocol. 2004.

• Billington, J.; Han, B.:
  Closed Form Expressions for the State Space of TCP's Data Transfer Service Operating over Unbounded Channels. 2004.

• Billington, Jonathan; Gallasch, Guy Edward:
  How Stop and Wait Protocols Can Fail over the Internet. 2003.

• Billington, J.; Han, B.:
  Formalising the TCP Symmetrical Connection Management Service. 2003.

• Billington, J.; Han, B.:
  On Defining the Service Provided by TCP. 2003.

• Ouyang, Chun; Billington, Jonathan:
  On Verifying the Internet Open Trading Protocol. 2003.

• Freiheit, Jörn; Billington, Jonathan:
  New Developments in Closed-Form Computation for GSPN Aggregation. 2003.

• Qureshi, Zahid; Billington, Jonathan; Aziz, S. Mahfuz:
  A Framework for Airborne Mission Systems Research. 2003.

• Billington, Jonathan; Christensen, Søren; van Hee, Kees; Kindler, Ekkart; Kummer, Olaf; Petrucci, Laure; Post, Reinier; Stehno, Christian; Weber, Michael:
  The Petri Net Markup Language: Concepts, Technology, and Tools. 2003.

• Petrucci, Laure; Billington, Jonathan; Kristensen, Lars M.; Qureshi, Zahid H.:
  Developing a Formal Specification for the Mission System of a Maritime Surveillance Aircraft. 2003.

• Villapol, María E.; Billington, Jonathan:
  Analysing Properties of the Resource Reservation Protocol. 2003.

• Ouyang, C.; Kristensen, L.M.; Billington, J.:
  A Formal and Executable Specification of the Internet Open Trading Protocol. 2002.

• Elliot, Mathew; Billington, Jonathan; Kristensen, Lars Michael:
  Using Design/CPN to Design a Visualisation Extension for Design/CPN. 2002.

• Elliot, M.; Billington, J.; Kristensen, L.M.:
  Using Design/CPN to Design a Visualisation Extension to Design/CPN. 2002.

• Ouyang, Chun; Kristensen, Lars Michael; Billington, Jonathan:
  A Formal and Executable Specification of the Internet Open Trading Protocol. 2002.

• Gordon, Steven; Kristensen, Lars Michael; Billington, Jonathan:
  Verification of a Revised WAP Wireless Transaction Protocol. 2002.

• Han, B.; Billington, J.,:
  Validation TCP Connection Management. 2002.

• Kristensen, L. M.; Mitchell, B.; Zhang, L.; Billington, J.:
  Modelling and Initial Analysis of Operational Planning Processes using Coloured Petri Nets. 2002.

• Liu, Lin; Billington, Jonathan:
  Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification. 2002.

• Ouyang, Chun; Kristensen, Lars Michael; Billington, Jonathan:
  A Formal Service Specification for the Internet Open Trading Protocol. 2002.

• Petrucci, L.; Kristensen, L. M.; Billington, J.; Qureshi, Z. H.:
  Towards Formal Specification and Analysis of Avionics Mission Systems. 2002.

• Singh, A.; Billington, J.:
  Creating an Internet Inter-ORB Protocol Service Specification. 2002.

• Zhang, L.; Kristensen, L. M.; Janczura, C.; Gallasch, G.; Billington, J.:
  A Coloured Petri Net based Tool for Course of Action Development and Analysis. 2002.

• Singh, A.; Billington, J.:
  A Formal Service Specification for IIOP based on ISO/IEC 14752. 2002.

• Liu, Lin; Billington, Jonathan:
  Modelling and Analysis of the CES Protocol of H.245. 2001.

• Ouyang, Chun; Kristensen, Lars Michael; Billington, Jonathan:
  An Improved Architectural Specification of the Internet Open Trading Protocol. 2001.

• Billington, Jonathan:
  A New Graphical Systems Engineering International Standard: ISO/IEC 15909 for High-level Petri Nets. 2001.

• Gordon, Steven; Kristensen, Lars; Billington, Jonathan:
  An Approach to Generalising the State Space of a Distributed Missile Simulator. 2001.

• Han, Bing; Billington, Jonathan:
  An Analysis of TCP Connection Management Using Coloured Petri Nets. 2001.

• Liu, Lin; Billington, Jonathan:
  Modelling and Analysis of Internet Multimedia Protocols - Methodology and Initial Results. 2001.

• Ouyang, Chun; Kristensen, Lars Michael; Billington, Jonathan:
  Towards Modelling and Analysis of Internet Open Trading Protocol Transactions using Coloured Petri Nets. 2001.

• Villapol, Maria E.; Billington, Jonathan:
  Generation of a Space Language for the Resource Reservation Protocol Using Formal Methods. 2001.

• Zhang, Lin; Mitchell, Brice; Falzon, Lucia; Davies, Mike; Kristensen, Lars M.; Billington, Jonathan:
  Model-based Operational Planning Using Coloured Petri Nets. 2001.

• Gordon, Steven; Billington, Jonathan:
  Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets. 2000.

• Villapol, M.E.; Billington, J.:
  Internet Service Quality: A Survey and Comparison of the IETF Approaches. 2000.

• Yao, S.; Billington, J.; Mingtian, Z.:
  CPN modeling of the WebMUX protocol. 2000.

• Villapol, M.E.; Billington, J.:
  Modelling and Initial Analysis of the Resource Reservation Protocol using Coloured Petri Nets. 2000.

• Gordon, S.; Billington, J.:
  Middleware Services over Satellite Networks: A Survey of Issues. 1999.

• Villapol, M.E.; Billington, J.:
  Resource Reservation Protocol for Mobile Satellite Communication. 1999.

• Villapol, M.E.; Billington, J.:
  RSVP for LEO Satellites. 1999.

• Gordon, S.; Billington, J.:
  Modelling the WAP Transaction Service using Coloured Petri Nets. 1999.

• Billington, J.; Diaz, M.; Rozenberg, G.:
  Application of Petri Nets to Communication Networks: Advances in Petri Nets. 1999.

• Tokmakoff, A.; Billington, J.:
  An Approach to the Analysis of Interworking Traders. 1999.

• Billington, J.:
  Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets. 1998.

• Gordon, Steven; Billington, Jonathan:
  Applying Coloured Petri Nets and Design/CPN to an Air-to-Air Missile Simulator. 1998.

• Tokmakoff, A.; Billington, J.:
  Reachability Analysis of the ODP Trader using Equivalence Classes. 1998.

• Gordon, Steven; Billington, Jonathan:
  Analysing a missile simulator with coloured Petri nets. 1998.

• Billington, J.; Du, B.B.; Farrington, M.:
  Modelling and Analysis of Multi-Agent Communication Protocols using CP-nets. 1998.

• Farrington, M.; Billington, J.:
  Analysing a Coloured Petri Net Model of an Assembly Line. 1998.

• Gordon, S.; Billington, J.:
  Modelling and Analysis of an Air-to-Air Missile Engagement Simulator using Coloured Petri Nets. 1998.

• Billington, J.:
  Development of an International Standard for High-level Petri Nets. 1997.

• Billington, J.; Tokmakoff, A.:
  Petri Nets and Traders: Enabling Technolgies for Virtual Enterprises. 1997.

• Floreani, D.J.; Billington, J.; Dadej, A.:
  Communications Gateway. 1997.

• Tokmakoff, A.; Billington, J.:
  Service Trading in Mobile Environments. 1997.

• Farrington, M.; Billington, J.:
  Distributing Control in an Assembly Line: Holonisation Issues. 1997.

• Billington, J.; Janczura, C.:
  Generalizing Results for any Legal Initial Configuration of a Railway Network. 1996.

• Billington, J.:
  Applying Petri nets to Communication Protocols - Parts 1-5. 1996.

• Billington, J.; Janczura, C.:
  State Space Analysis of a Railway Network. 1996.

• Tokmakoff, A.; Billington, J.:
  Using Coloured Petri Nets to aid the Design of Object-based Systems. 1996.

• Billington, J.; Janczura, C.:
  Removing Deadlock from a Railway Network Specification. 1996.

• Farrington, M.; Billington, J.:
  Modelling an Automotive Assembly Line. 1996.

• Billington, J.; Reisig, W.:
  Proc. 17th International Conference in Application and Theory of Petri Nets (ICATPN'96), Osaka, Japan. 1996.

• Floreani, D.; Billington, J.; Dadej, A.:
  Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN. 1996.

• Janczura, C.; Billington, J.:
  Modelling and Simulation of a Railway Network using Coloured Petri Nets. 1996.

• Tokmakoff, A.; Billington, J.:
  CPN Modelling of an Object Based System: The ODP Trader. 1996.

• Tokmakoff, A.; Billington, J.:
  Modelling Object Based Systems with Coloured Petri Nets. 1996.

• Tokmakoff, A.; Billington, J.:
  Service Brokering in Object Based Systems: Advanced Information Services. 1996.

• Farrington, M.; Billington, J.:
  A CP-net Approach to Control Logic Engineering. 1996.

• Tokmakoff, A.; Billington, J.:
  CPN Modelling of an Object Based System: The ODP Trader. 1996.

• Tokmakoff, A.; Billington, J.:
  Coloured Petri net modelling of the ODP Trader for use in resource discovery. 1996.

• Floreani, D.; Billington, J.; Dadej, A.:
  An example of using Coloured Petri Nets in the specification of a Communications Gateway. 1995.

• Janczura, C.; Billington, J.:
  Calculation of Linear Invariants in Coloured Petri Nets. 1995.

• Billington, J.; Diaz, M.:
  Petri Nets applied to Protocols. 1995.

• Tokmakoff, A.; Billington, J.:
  Coloured Petri Net Modelling of the ODP Trader. 1995.

• Tokmakoff, A.; Billington, J.:
  Modelling of the ODP Trader for use in Resource Discovery. 1995.

• Billington, Jonathan:
  Extensions to Coloured Petri Nets. 1990.

• Billington, Jonathan:
  Many-Sorted High-Level Nets. 1990.

• Findlow, Greg; Billington, Jonathan:
  High-Level Nets for Dynamic Dining Philosophers Systems. 1990.

• Billington, J.; Kinny, D.:
  Computer Aided Protocol Engineering. 1989.

• Billington, J.:
  Extending Coloured Petri Nets. 1988.

• Billington, J.; Wheeler, G.R.; Wilbur-Ham, M.C.:
  PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols. 1988.

• Billington, J.:
  A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service. 1987.

• Billington, J.; Wheeler, G.R.; Wilbur-Ham, M.C.:
  PROTEAN: A Specification and Verification Aid for Communication Protocols. 1987.

• Billington, J.; Wilbur-Ham, M.C.:
  PROTEAN: A High-Level Petri Net Tool. 1987.

• Bearman, M.Y.; Wilbur-Ham, M.C.; Billington, J.:
  Analysis of the OSI Class 0 Transport Protocol. 1986.

• Billington, J.; Wilbur-Ham, M.C.; Bearman, M.Y.:
  Automated Protocol Verification. 1986.

• Wheeler, G.R.; Batten, T.J.; Billington, J.; Wilbur-Ham, M.C.:
  A Methodology for Protocol Engineering. 1986.

• Wheeler, G.R.; Wilbur-Ham, M.C.; Billington, J.; Gilmour, J.A.:
  Protocol Analysis Using Numerical Petri Nets. 1986.

• Bearman, M.Y.; Wilbur-Ham, M.C.; Billington, J.:
  Analysis of Open Systems Interconnection Transport Protocol Standard. 1985.

• Bearman, M.Y.; Wilbur-Ham, M.C.; Billington, J.:
  Specification and Analysis of the OSI Class 0 Transport Protocol. 1985.

• Billington, J.:
  On Specifying Performance Aspects of Protocol Services. 1985.

• Bearman, M.Y.; Wilbur-Ham, M.C.; Billington, J.:
  A Formal Specification of the OSI Class 0 Transport Protocol Using NPNs. 1984.

• Bearman, M.Y.; Wilbur-Ham, M.C.; Billington, J.:
  Some Results of Verifying the OSI Class 0 Transport Protocol. 1984.

• Billington, J.:
  Abstract Specification of the ISO Transport Service Definition Using Labelled Numerical Petri Nets. 1983.

• Wilbur-Ham, M.C.; Billington, J.:
  A Protocol Emulation and Analysis Tool. 1983.

• Billington, J.:
  Specification of the Transport Service Using Numerical Petri Nets. 1982.

Back to the Petri Nets Bibliography