Jonathan Billington
Publications by Year
Research Areas
Petri Nets in System Modeling, Formal Methods in Verification, Service-Oriented Architecture and Web Services, Business Process Modeling and Analysis, Mobile Agent-Based Network Management
Most-Cited Works
- → PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols(1988)149 cited
- → 8.3.1 A New Graphical Systems Engineering International Standard: ISO/IEC 15909 for High‐level Petri Nets(2001)63 cited
- Proceedings of the 17th International Conference on Application and Theory of Petri Nets(1996)
- → A Coloured Petri Net Approach to Protocol Verification(2004)46 cited
- → Many-sorted High-level Nets(1991)42 cited
- → On Modelling and Analysing the Dynamic MANET On-Demand (DYMO) Routing Protocol(2009)38 cited
- → Verification of a Revised WAP Wireless Transaction Protocol(2002)35 cited
- Automated protocol verification(1985)
- → Application of Petri Nets to Communication Networks: Advances in Petri Nets(1999)31 cited
- → Protocol analysis using Numerical Petri Nets(2005)28 cited