{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T19:38:09Z","timestamp":1760729889251,"version":"3.33.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T00:00:00Z","timestamp":1188259200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transf"],"published-print":{"date-parts":[[2008,1]]},"DOI":"10.1007\/s10009-007-0052-z","type":"journal-article","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T08:28:25Z","timestamp":1188203305000},"page":"75-93","source":"Crossref","is-referenced-by-count":9,"title":["Modelling defence logistics networks"],"prefix":"10.1007","volume":"10","author":[{"given":"Guy Edward","family":"Gallasch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nimrod","family":"Lilith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Billington","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lin","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Bender","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Francis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,8,28]]},"reference":[{"key":"52_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Timed coloured petri nets and their application to logistics. PhD Thesis, Eindhoven University of Technology (1992)","DOI":"10.1007\/3-540-56863-8_61"},{"key":"52_CR2","unstructured":"Australian Defence Doctrine Publication 4.0\u2014Defence Logistics. Defence Publishing Service, Department of Defence, 8 April 2003"},{"key":"52_CR3","doi-asserted-by":"crossref","unstructured":"Billington, J., Diaz, M., Rozenberg, G. (eds.): Application of Petri Nets to Communication Networks. Lecture Notes in Computer Science, vol. 1605. Springer, Heidelberg (1999)","DOI":"10.1007\/BFb0097770"},{"key":"52_CR4","doi-asserted-by":"crossref","unstructured":"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\u2013438. Elsevier Science, Amsterdam June 1998","DOI":"10.1016\/S1474-6670(17)40591-X"},{"key":"52_CR5","unstructured":"CPN Tools. http:\/\/wiki.daimi.au.dk\/cpntools\/cpntools.wiki"},{"key":"52_CR6","doi-asserted-by":"crossref","unstructured":"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\u201336. IEEE, October 2002","DOI":"10.1109\/ICSMC.2002.1167943"},{"key":"52_CR7","unstructured":"Design\/CPN Online. http:\/\/www.daimi.au.dk\/designCPN\/"},{"key":"52_CR8","unstructured":"Eick, I., Vogelsang, D., Behrens, A.: Planning smelter logistics: a process modeling approach. In: Light Metals 2001, New Orleans, LA, pp. 393\u2013398. Minerals, Metals and Materials Society, February 2001"},{"key":"52_CR9","unstructured":"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"},{"key":"52_CR10","unstructured":"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"},{"key":"52_CR11","volume-title":"An Integrated Approach to Logistics Management","author":"N.E. Hutchinson","year":"1987","unstructured":"Hutchinson N.E. (1987). An Integrated Approach to Logistics Management. Prentice-Hall, Englewood Cliffs"},{"key":"52_CR12","unstructured":"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)"},{"issue":"2","key":"52_CR13","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/s100090050021","volume":"2","author":"L.M. Kristensen","year":"1998","unstructured":"Kristensen L.M., Christensen S. and Jensen K. (1998). The Practitioner\u2019s Guide to coloured petri nets. Int. J. Software Tools Technol. Transf. 2(2): 98\u2013132","journal-title":"Int. J. Software Tools Technol. Transf."},{"key":"52_CR14","unstructured":"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\u2013114. Australian Computer Society Inc. (2002)"},{"key":"52_CR15","unstructured":"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\u201904), Aarhus, Denmark, pp. 1\u201318 (2004)"},{"key":"52_CR16","unstructured":"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\u2013487, San Diego, CA, USA, October 1997 (SCS)"},{"issue":"3","key":"52_CR17","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1177\/0037549704045045","volume":"80","author":"M.A. Piera","year":"2004","unstructured":"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\u2013129","journal-title":"Simulation"},{"key":"52_CR18","unstructured":"The Technical Cooperation Program (TCCP). Guide for Understanding and Implementing Defence Experimentation (Guidex). Version 1.1, February 2006"},{"key":"52_CR19","unstructured":"US Department of Defense. Logistics Transformation Strategy\u2014Achieving Knowledge-Enabled Logistics. 10th December 2006"},{"issue":"2","key":"52_CR20","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1016\/S0377-2217(99)00238-6","volume":"122","author":"J.G.A.J. Vorst van der","year":"2000","unstructured":"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\u2013366","journal-title":"Eur. J. Oper. Res."},{"issue":"10","key":"52_CR21","doi-asserted-by":"crossref","first-page":"1158","DOI":"10.1057\/palgrave.jors.2600063","volume":"51","author":"N. Viswanadham","year":"2000","unstructured":"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\u20131169","journal-title":"J. Oper. Res. Soc."},{"key":"52_CR22","doi-asserted-by":"crossref","unstructured":"von Mevius, M., Pibernik, R.: Process management in supply chains\u2014a new Petri-net based approach. In: Proceedings of the 37th Annual Hawaii International Conference on System Sciences, vol. 37, pp. 1153\u20131162. IEEE Computer Society, January 2004","DOI":"10.1109\/HICSS.2004.1265208"},{"issue":"1","key":"52_CR23","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1108\/17410380510574077","volume":"16","author":"Z. Wang","year":"2005","unstructured":"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\u201352","journal-title":"J. Manufact. Technol. Manage."},{"key":"52_CR24","unstructured":"Websters dictionary"},{"key":"52_CR25","unstructured":"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\u2013134. Australian Computer Society Inc. (2002)"},{"key":"52_CR26","unstructured":"Zhang, L., Kristensen, L.M., Mitchell, B., Gallasch, G.E., Mechlenborg, P., Janczura, C.: COAST\u2014An 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)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0052-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-007-0052-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-007-0052-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T17:27:24Z","timestamp":1737394044000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-007-0052-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8,28]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,1]]}},"alternative-id":["52"],"URL":"https:\/\/doi.org\/10.1007\/s10009-007-0052-z","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2007,8,28]]}}}