Modelling defence logistics networks

van der Aalst, W.M.P.: Timed coloured petri nets and their application to logistics. PhD Thesis, Eindhoven University of Technology (1992)

Australian Defence Doctrine Publication 4.0—Defence Logistics. Defence Publishing Service, Department of Defence, 8 April 2003

Billington, J., Diaz, M., Rozenberg, G. (eds.): Application of Petri Nets to Communication Networks. Lecture Notes in Computer Science, vol. 1605. Springer, Heidelberg (1999)

Bullinger, H.J., Steinaecker, J.V.: Petri net based modelling, planning and control of logistical processes under environmental goals and constraints. In: Proceedings of the 9th Symposium on Information Control in Manufacturing, vol. 1, pp. 433–438. Elsevier Science, Amsterdam June 1998

CPN Tools. http://wiki.daimi.au.dk/cpntools/cpntools.wiki

Degano, C., Di Febbraro, A.: On using Petri nets to detect and recover from faulty behaviours in transportation facilities. In: Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics, vol. 1, pp. 31–36. IEEE, October 2002

Design/CPN Online. http://www.daimi.au.dk/designCPN/

Eick, I., Vogelsang, D., Behrens, A.: Planning smelter logistics: a process modeling approach. In: Light Metals 2001, New Orleans, LA, pp. 393–398. Minerals, Metals and Materials Society, February 2001

Gallasch, G.E., Lilith, N., Billington, J.: A coloured petri net model of a defence logistics physical network. Technical Report CSEC-25, Computer Systems Engineering Centre Report Series, University of South Australia, August 2006

Han, B., Lilith, N., Billington, J.: Modelling, simulation and analysis of logistics systems using discrete event system techniques: a survey. Technical Report CSEC-24, Computer Systems Engineering Centre Report Series, University of South Australia, Draft, March 2006

Hutchinson N.E. (1987). An Integrated Approach to Logistics Management. Prentice-Hall, Englewood Cliffs

Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts, 2nd edn. Monographs in Theoretical Computer Science. Springer, Heidelberg (1997)

Kristensen L.M., Christensen S. and Jensen K. (1998). The Practitioner’s Guide to coloured petri nets. Int. J. Software Tools Technol. Transf. 2(2): 98–132

Kristensen, L.M., Mitchell, B., Zhang, L., Billington, J.: Modelling and initial analysis of operational planning processes using coloured petri nets. In: Formal Methods in Software Engineering and Defence Systems 2002, Proceedings of the Satellite Workshops on Software Engineering and Formal Methods and Formal Methods Applied to Defence Systems. Conferences in Research and Practice in Information Technology Series, vol. 12, pp. 105–114. Australian Computer Society Inc. (2002)

Mitchell, B., Kristensen, L.M., Zhang, L.: Formal specification and state space analysis of an operational planning process. In: Proceedings of the 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN’04), Aarhus, Denmark, pp. 1–18 (2004)

Ochmanska, E.: Object-oriented PN models with storage for transport and logistic processes. In: Proceedings of the 9th European Simulation and Symposium, Passau, Germany, pp. 483–487, San Diego, CA, USA, October 1997 (SCS)

Piera M.A., Narciso M., Guasch A. and Riera D. (2004). Optimization of logistic and manufacturing systems through simulation: a coloured Petri net-based methodology. Simulation 80(3): 121–129

The Technical Cooperation Program (TCCP). Guide for Understanding and Implementing Defence Experimentation (Guidex). Version 1.1, February 2006

US Department of Defense. Logistics Transformation Strategy—Achieving Knowledge-Enabled Logistics. 10th December 2006

van der Vorst J.G.A.J., Beulens A.J.M. and van Beek P. (2000). Modelling and simulating multi-echelon food systems. Eur. J. Oper. Res. 122(2): 354–366

Viswanadham N. and Raghavan N.R.S. (2000). Performance analysis and design of supply chains: a petri net approach. J. Oper. Res. Soc. 51(10): 1158–1169

von Mevius, M., Pibernik, R.: Process management in supply chains—a new Petri-net based approach. In: Proceedings of the 37th Annual Hawaii International Conference on System Sciences, vol. 37, pp. 1153–1162. IEEE Computer Society, January 2004

Wang Z., Zhang J. and Chan F.T.S. (2005). A hybrid petri nets model of networked manufacturing systems and its control system architecture. J. Manufact. Technol. Manage. 16(1): 36–52

Websters dictionary

Zhang, L., Kristensen, L.M., Janczura, C., Gallasch, G.E., Billington, J.: A coloured petri net based tool for course of action development and analysis. In: Formal Methods in Software Engineering and Defence Systems 2002, Proceedings of the Satellite Workshops on Software Engineering and Formal Methods and Formal Methods Applied to Defence Systems. Conferences in Research and Practice in Information Technology Series, vol. 12, pp. 125–134. Australian Computer Society Inc. (2002)

Zhang, L., Kristensen, L.M., Mitchell, B., Gallasch, G.E., Mechlenborg, P., Janczura, C.: COAST—An operational planning tool for course of action development and analysis. In: Proceedings of the 9th International Command and Control Research and Technology Symposium (ICCRTS), Copenhagen, Denmark (2004)