Technical reports
J. Billington and S. Saboo, Symbolic Reachability Graph for a Class of Credit-Based Flow Controls, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-35, 16 September 2008 (177 pages).
J. Billington and S. Saboo, Modelling and Analysis of Credit-Based Flow Controls using Coloured Petri Nets, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-34, Draft of March 2008, revised 8 October 2008 (256 pages).
G. E. Gallasch, N. Lilith and J. Billington, Coloured Petri Net Modelling of Defence Logistics, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-33 Draft of July 2008 (198 pages).
G. E. Gallasch, C. Moon, B. Francis, J. Billington and N. Lilith, Modelling Personnel within a CPN Model of a Defence Maintenance Process, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-32, November 2007 (25 pages).
G. E. Gallasch and J. Billington, Language Analysis of the Class of Stop-and-Wait Protocols, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-31, January 2008 (80 pages). (Formerly "The Final Step for Parametric Verification of the Class of Stop-and-Wait Protocols: Parametric Language Analysis", October 2007),
S. Vanit-Anunchai and J. Billington, Revised CPN Specification of DCCP Connection Management and Feature Negotiation, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-30, Draft of June 2007 (105 pages).
G. E. Gallasch, N. Lilith and J. Billington, Extending a Coloured Petri Net Model of a Defence Logistics Network, University of South Australia, CSEC-29, September 2007 (116 pages).
G. E. Gallasch, Review of a Coloured Petri Net Logistics Maintenance Model. Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-28, December 2006 (16 pages).
G. E. Gallasch and J. Billington, Modelling and Analysis of Operations Planning Using Untimed and Timed CPNs. Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-27, September 2006 (73 pages).
G. E. Gallasch, N. Lilith and J. Billington, A Coloured Petri Net Model of a Defence Logistics Physical Network. Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-25, August 2006 (140 pages).
B. Han, N. Lilith and J. Billington, Modelling, Simulation and Analysis of Logistics Systems using Discrete Event System Techniques: A Survey. Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-24, March 2006 (108 pages).
G. E. Gallasch and J. Billington, Parametric Verification of the Class of Stop and Wait Protocols over Ordered Channels. Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-23, December 2006 (94 pages).
G. E. Gallasch, B. Han and J. Billington. COAST User Interface Design, Integration and Support, and the Development of an Untimed COAST Server. (pdf - 707kb) Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-22, June 2005 (revised July 2005) (93 pages).
G. E. Gallasch and J. Billington. Towards the Parametric Verification of the Class of Stop-and-Wait Protocols over Ordered Channels. (pdf - 303kb) Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-21, March 2005 (revised June 2005) (38 pages).
J. Freiheit, G. E. Gallasch and J. Billington. About the Use of Untimed CPN Models for COAST and Further COAST Client Development Support. Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-20, December 2004 (33 pages).
J. Freiheit and J. Billington. Modelling of the Solaris Scheduler using Timed Coloured Petri Nets. Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-19, February 2005 (41 pages).
J. Freiheit and J. Billington. A Survey of Modelling Languages and Tools for Workflow Management. Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-18, August 2004 (43 pages).
J. Freiheit and J. Billington. Human Resource Management in Operational Planning Processes. Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-17, Draft of November 2003 (37 pages).
J. Freiheit, C. Ouyang and J. Billington. An Initial Step Towards the Transformation of Ada Structure Graphs and Process Structure Charts to Coloured Petri Net Models. Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-16, May 2004 (38 pages).
J. Billington and G. E. Gallasch. An Investigation of the Properties of Stop-and-Wait Protocols over Channels which can Re-order Messages. Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-15, June 2003, revised May 2004 (49 pages).
J. Billington. Discrete Event Systems Theory and its Application to Command and Control, DSTO Contract No. 4500156444, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-14, 31 December, 2002.
L. Liu and J. Billington. A Proof of the Recursive Formula for the Infinite Service Language of the CES Protocol, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-13, January 2003, revised June 2004.
P. Dauchy. Techniques and Tools for Real-time Modelling and Analysis, DSTO Contract No. 687237 Amendment No. 2, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-12, November 18, 2003.
M. Roessler and S. M. Aziz. Modelling and Analysis of Airborne Mission Systems. Report on VHDL Modelling of 1553 Serial Data Bus, DSTO Contract No. 687237, Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-11, December 12, 2002.
L. Petrucci, L. Kristensen and J. Billington. Modelling and Analysis of Airborne Mission Systems: Final Report for Phase 4. DSTO Contract No. 687237 (Phase 4), Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-10, 7 October 2002.
S. M. Aziz and J. Billington. Modelling and Analysis of Airborne Mission Systems: Report on Hardware Modelling and Hardware/Software Co-simulation. DSTO Contract No. 687237 (Phase 3), Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-9, 18 June 2002
P. Dauchy and J. Billington. Timed Automata and Airborne Mission Systems, DSTO Contract No. 687237 (Phase 3), Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-8, 5 June 2002.
L. Petrucci, L. Kristensen, G. Gallasch, M. Elliot, P. Dauchy, J. Billington and S. M. Aziz. Modelling and Analysis of Airborne Mission Systems, Final report for Phase 3, DSTO Contract No. 687237 (Phase 3), Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-7, 12 August, 2002.
S. M. Aziz and J. Billington. Modelling and Analysis of Airborne Mission Systems: Supplementary Report on Hardware Modelling, DSTO Contract No. 687237 (Phase 2), Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-6, 19 September 2001.
L. Kristensen. The COAST Server - Design and Implementation, DSTO Contract No. 687237 (Phase 2), Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-5, 2 July 2002.
L. Petrucci, L. Kristensen, P. Dauchy, S. M. Aziz and J. Billington. Modelling and Analysis of Airborne Mission Systems. Progress report 1, DSTO Contract 687237 (Phase 3), Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-4, December 12, 2001.
L. M. Kristensen, J. Billington, S. M. Aziz and G. E. Gallasch, Modelling and Analysis of Airborne Mission Systems. Final Report for Phase 2, DSTO Contract No. 687237 (Phase 2), Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-3, May 30, 2001.
G. E. Gallasch, L. M. Kristensen, and J. Billington, Modelling and Analysis of Airborne Mission Systems. Interim Report B, DSTO Contract No. 687237 (Phase 2), Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-2, March 12, 2001.
L. M. Kristensen and J. Billington, Modelling and Analysis of Airborne Mission Systems, Interim Report A, DSTO Contract No. 687237 (Phase 2), Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-1, November 24, 2000.
J. Billington and S. Gordon, Research on Modelling and Analysis of Avionics Mission Systems, DSTO Contract No. 687204 (Phase 1), Computer Systems Engineering Centre Report Series, University of South Australia, CSEC-0, May 30, 2000.