{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T13:43:34Z","timestamp":1777902214291,"version":"3.51.4"},"reference-count":35,"publisher":"SAGE Publications","issue":"5","license":[{"start":{"date-parts":[[2011,8,22]],"date-time":"2011-08-22T00:00:00Z","timestamp":1313971200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2012,5]]},"abstract":"<jats:p>In this paper we present a state space exploration method implemented as part of a Decision Support Tool designed to improve the performance of logistics and production systems. An efficient depth-first search strategy, together with a reduction method known as the \u2018Old Node Method\u2019, is introduced to improve the descendant path choice by means of an evaluation function that allows the selection of the most promising node to be expanded at any level of the path. The sub-set of the state space representing the most promising scenarios holds a set of feasible and quasi-optimal solutions.<\/jats:p>","DOI":"10.1177\/0037549711410768","type":"journal-article","created":{"date-parts":[[2011,8,22]],"date-time":"2011-08-22T21:35:08Z","timestamp":1314048908000},"page":"592-616","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":15,"title":["A time stamp reduction method for state space exploration using colored Petri nets"],"prefix":"10.1177","volume":"88","author":[{"given":"Mercedes E.","family":"Narciso","sequence":"first","affiliation":[{"name":"Departament de Telecomunicaci\u00f2 i Enginyeria de Sistemes, Escola d'Enginyeria (Edifici Q - Campus Bellaterra), Universitat Aut\u00f2noma de Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miquel A.","family":"Piera","sequence":"additional","affiliation":[{"name":"Departament de Telecomunicaci\u00f2 i Enginyeria de Sistemes, Escola d'Enginyeria (Edifici Q - Campus Bellaterra), Universitat Aut\u00f2noma de Barcelona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoni","family":"Guasch","sequence":"additional","affiliation":[{"name":"Departament d\u2019Enginyeria de Sistemes i Autom\u00e0tica, FIB (Campus Nord), Universitat Polit\u00e8cnica de Catalunya, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2011,8,22]]},"reference":[{"key":"bibr1-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1177\/0037549704045045"},{"key":"bibr2-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60794-3"},{"key":"bibr3-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52494-0_38"},{"key":"bibr4-0037549711410768","first-page":"282","volume-title":"Proceedings of the 8th European Simulation Symposium","author":"Zimmermann A","year":"1996"},{"key":"bibr5-0037549711410768","volume-title":"Proceedings of the 4th International EUROSIM 2001","author":"Piera MA","year":"2001"},{"key":"bibr6-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27793-4_28"},{"key":"bibr7-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-65306-6_21"},{"key":"bibr8-0037549711410768","doi-asserted-by":"crossref","unstructured":"Elgaard L. The symmetry method for coloured Petri nets\u2009-\u2009theory, tools, and practical use.\n                      PhD Thesis\n                      , Department of Computing Science, University of Aarhus, Denmark, 2002.","DOI":"10.7146\/dpb.v31i564.7121"},{"key":"bibr9-0037549711410768","doi-asserted-by":"publisher","DOI":"10.7146\/dpb.v29i546.7080"},{"key":"bibr10-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44988-4_17"},{"key":"bibr11-0037549711410768","unstructured":"Mailund T. Sweeping the state space: A sweep-line state space exploration method.\n                      PhD Thesis\n                      , Department of Computing Science, University of Aarhus, Denmark, 2003."},{"key":"bibr12-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-3615(01)00124-5"},{"key":"bibr13-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1016\/S0360-8352(02)00212-7"},{"key":"bibr14-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1016\/S0360-8352(02)00213-9"},{"key":"bibr15-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0053-y"},{"key":"bibr16-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0032-3"},{"key":"bibr17-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.820582"},{"key":"bibr18-0037549711410768","volume-title":"Proceedings of 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems","author":"Christensen S","year":"2001"},{"key":"bibr19-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45740-2_8"},{"key":"bibr20-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(97)00017-8"},{"key":"bibr21-0037549711410768","first-page":"121","volume-title":"Proceedings of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools","author":"Elgaard L","year":"2002"},{"key":"bibr22-0037549711410768","first-page":"101","volume-title":"Proceedings of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools","author":"Gallasch GE","year":"2002"},{"key":"bibr23-0037549711410768","first-page":"20","volume-title":"Proceedings of Workshop on Petri Nets in System Engineering (PNSE\u201997) Modelling, Verification, and Validation","author":"J\u00f8rgensen JB","year":"1997"},{"key":"bibr24-0037549711410768","first-page":"121","volume-title":"Proceedings of the Fourth International Workshop on Practical Use of Coloured Petri Nets and the CPN Tools","author":"Lorentsen L","year":"2002"},{"key":"bibr25-0037549711410768","unstructured":"Varpaaniemi K. On the stubborn set method in reduced state space generation.\n                      PhD Thesis\n                      , Department of Computer Science and Engineering, Helsinki University of Technology, Finland, 1998."},{"key":"bibr26-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0038-x"},{"key":"bibr27-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1177\/0037549709356011"},{"key":"bibr28-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0033-2"},{"key":"bibr29-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1016\/j.matcom. 2010.10.014"},{"key":"bibr30-0037549711410768","unstructured":"St\u00f6rrle H. \u2018An Evaluation of High-end Tools for Petri-nets\u2019, Technical Report\/Bericht 9802, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, Germany, http:\/\/www.informatik.uni-hamburg.de\/TGI\/PetriNets\/tools\/ (1998, accessed 14 April 2011)"},{"key":"bibr31-0037549711410768","first-page":"397","volume-title":"Artificial Intelligence Research and Development (Fr. Art. Int)","volume":"100","author":"Narciso ME","year":"2003"},{"key":"bibr32-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1109\/37.334413"},{"key":"bibr33-0037549711410768","first-page":"375","volume-title":"Recent Advances in Artificial Intelligence Research and Development (Fr. Art. Int)","volume":"113","author":"Narciso ME","year":"2004"},{"key":"bibr34-0037549711410768","volume-title":"Proceedings of 4e Conf\u00e9rence Francophone de Mod\u00e9lisation et Simulation","author":"Narciso ME","year":"2003"},{"key":"bibr35-0037549711410768","doi-asserted-by":"publisher","DOI":"10.1080\/00207541003702234"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549711410768","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0037549711410768","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:23:11Z","timestamp":1777634591000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0037549711410768"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,22]]},"references-count":35,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["10.1177\/0037549711410768"],"URL":"https:\/\/doi.org\/10.1177\/0037549711410768","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8,22]]}}}