Professor Jonathan Billington |
||
| Position: | Professor of Computer System Engineering |
|
| Division/Portfolio: | Division of Information Technology, Engineering and the Environment | |
| School/Unit: | School of Electrical and Information Engineering | |
| Campus: | Mawson Lakes Campus | |
| Office: | SCT2-21 | |
| Telephone: | +61 8 830 23865 | |
| Fax: | +61 8 830 23384 | |
| Email: | Jonathan_dot_Billington_at_unisa_dot_edu_dot_au | |
| URL for Business Card: | http://people.unisa.edu.au/Jonathan.Billington | |
Professor Billington is Discipline Leader of Computer Systems Engineering and Director of the Computer Systems Engineering Centre within the School of Electrical and Information Engineering. Previously he was a Principal Engineer and Section Head at Telstra Research Laboratories in Melbourne, Australia.
His research interests encompass Telecommunications and Computer Networks (such as the Internet) and their information services, particularly the protocols to support such networks and services, and methods for their analysis and verification. He also conducts research into distributed systems in general, including decision support systems and logistics. His Centre is supported by the Australian Research Council, the Defence Science and Technology Organisation (DSTO) and National ICT Australia (NICTA).
Computer Systems Engineering Centre Home Page
Teaching interests
- Internet Protocols, Computer and Telecommunications Networking, Distributed Systems
- Discrete event systems modelling and analysis
- Petri Nets, Coloured Petri Nets, Automata
I teach the following courses
| EEET 4031 | System Design Techniques |
| EEET 4032 | Advanced Internet Technology |
Professional associations
Fellow IEAust, CPEng
Member, IEEE
Member, Gesellschaft fur Informatik, Special Interest Group on Petri Nets and Related System Models
Member, ISO/IEC JTC1/SC7 Software and Systems Engineering, WG 19 "Techniques for Specifying IT Systems"
Editor, International Standards Project, ISO/IEC 15909 High Level Petri Nets
Member, Steering Committee for the International Conferences on Application and Theory of Petri nets and other models of concurrency
Qualifications
PhD in Computer Science, Cambridge University, UK
MEngSc in Electrical Engineering, Monash
BE (Hons) Electrical Engineering, Monash
Research interests
- Telecommunication and Computer Networks, including the Internet, Adhoc Networks and Ecommerce protocols.
- Distributed Systems, Workflow analysis, Operations planning and scheduling, Logistics.
- Discrete Event Systems, Automata, Petri nets, Coloured Petri Nets, Advanced Reachability Analysis techniques and tools.
- Protocol Verification, including parametric verification techniques and tools.
- Performance analysis of concurrent systems, particularly using Generalised Stochastic Petri Nets including methods for their aggregation and tools such as TimeNET.
- International Standard: ISO/IEC 15909-1: Software and System Engineering - High-level Petri Nets - Part 1 Concepts, Definitions and Graphical Notation, December, 2004, and its amendment to include Symmetric Nets as a subclass.
Research publications
Professor Billington has published over 150 refereed papers; edited 13 books/journal special issues/proceedings; given over 30 invited talks; and written over 70 reports on international meetings, 60 contributions to standards setting bodies, and over 60 technical reports. International Standard, ISO/IEC 15909-1 Software and System Engineering - High-level Petri Nets - Part 1: Concepts, definitions and graphical notation, 2004, is based on part of his PhD thesis. A list of recent publications can be obtained from:
Computer Systems Engineering Centre Publications
Expertise for Media Contact
I am able to provide media comment in the following areas of expertise:
Discipline: Telecommunications
- Computer Communications
- Discrete Event Systems
- Distributed Systems
- Petri Nets, Coloured Petri Nets and Automata
- Telecom Protocols and Services
Community Service
| Organisation Name: | IOS Press |
| Section: | Fundamenta Informaticae |
| Organisation URL: | http://www.iospress.nl/loadtop/load.php?isbn=01692968 |
| Level of involvement: | Guest Editor, Special Issue |
| Year from: | 2008 |
| Year to: | 2009 |
| Organisation Name: | Springer |
| Section: | LNCS Transactions on Petri Nets and other models of concurrency |
| Organisation URL: | http://www.springer.com/west/home/computer/lncs?SGWID=4-164-6-417809-0 |
| Level of involvement: | Associate Editor of Editorial Board |
| Year from: | 2007 |
| Year to: | 2009 |
| Organisation Name: | International Conference on Application of Concurrency to System Design |
| Organisation URL: | http://ictt.xidian.edu.cn/acsd2008/Pages/ACSD_main.jsp |
| Level of involvement: | Co-chair Programme Committee |
| Year from: | 2008 |
| Year to: | 2008 |
| Organisation Name: | Steering Committee for International Conference on Petri nets |
| Type of Organisation: | Community organisation |
| Organisation URL: | http://www.daimi.au.dk/PetriNets/steering-committee/ |
| Level of involvement: | Active committee member representing Australia |
| Year from: | 1992 |
| Year to: | 2009 |
| Organisation Name: | Australian Research Council |
| Organisation URL: | http://www.arc.gov.au |
| Level of involvement: | International Reader for Grant Applications |
| Year from: | 2002 |
| Year to: | 2009 |
| Organisation Name: | International Organisation for Standardization |
| Section: | Joint Technical Committee 1/SC7/WG19 |
| Type of Organisation: | Community organisation |
| Organisation URL: | http://www.jtc1-sc7.org/ |
| Level of involvement: | Editor of ISO/IEC 15909 High-level Petri Nets |
| Year from: | 1995 |
| Year to: | 2009 |
| Organisation Name: | Standards Association of Australia |
| Section: | Information Technology |
| Type of Organisation: | Community organisation |
| Organisation URL: | http://www.standards.com.au |
| Level of involvement: | Chair IT15/19 Techniques for Specifying IT Systems |
| Year from: | 1992 |
| Year to: | 2009 |
Research Degree Supervisor
Jonathan Billington is Director of the Computer Systems Engineering Centre. The centre conducts research into the modelling and analysis of complex distributed systems, including telecommunications network protocols, using discrete event techniques (automata, Coloured Petri nets) and tools (FSM, Design/CPN). He supervises PhD projects in Internet Protocols (e.g. TCP, RSVP, DCCP), adhoc networks (DYMO MANET routing), multimedia protocols (H.323, H.245), electronic commerce (Internet Open Trading Protocol), middleware inter-ORB protocols (IIOP), flow control and congestion control mechanisms, agent negotiation protocols, and advanced reachability analysis techniques. Research into parametric verification, advanced reachability analysis and aggregation of Generalised Stochastic Petri Nets for performance analysis of concurrent systems are (or have been) supported by Australian Research Council and Ministry grants. Research on avionics mission systems, operational planning support tools, logistics and maintenance processes are (or have been) supported by NICTA and DSTO R&D contracts. International collaboration is undertaken with partners in Denmark, Czech Republic, France, Germany, UK and Thailand. Jonathan initiated the world's standard on High-level Petri nets (ISO/IEC 15909) for which he is the editor.Change | Staff home page help