Concepedia

Jonathan Billington

JB

Statistics

Publications

19

Citations

521

H-Index

13

Active since

1982

Affiliations

University of South Australia(Current)

Defence Science and Technology Group

Aarhus University

Jonathan Billington is an author at University of South Australia specializing in engineering, systems engineering, and computer science.

Top concepts

Publications per year

1982–2021

19

Publications

19

PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols

Jonathan Billington, G. R. Wheeler, Michael C. Wilbur-Ham · IEEE Transactions on Software Engineering · 1988 · 149 citations

, , +27

8.3.1 A New Graphical Systems Engineering International Standard: ISO/IEC 15909 for High‐level Petri Nets

Jonathan Billington · INCOSE International Symposium · 2001 · 63 citations

, , +21

Proceedings of the 17th International Conference on Application and Theory of Petri Nets

Jonathan Billington, Wolfgang Reisig · 1996 · 46 citations

, , +6

Automated protocol verification

Jonathan Billington, Michael C. Wilbur-Ham, M. Y. Bearman · 1985 · 32 citations

, , +8

Specification of the Transport Service Using Numerical Petri Nets

Jonathan Billington · 1982 · 27 citations

, , +9

1–5 of 19