Mostra el registre d'ítem simple
TIMSPAT - Reachability graph search-based optimization tool for colored Petri net-based scheduling
dc.contributor.author | Baruwa, Olatunde T. |
dc.contributor.author | Piera, Miquel Angel |
dc.contributor.author | Guasch Petit, Antonio |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Sistemes, Automàtica i Informàtica Industrial |
dc.date.accessioned | 2017-01-26T10:45:38Z |
dc.date.available | 2019-12-31T01:26:33Z |
dc.date.issued | 2016-11-01 |
dc.identifier.citation | Baruwa, O., Piera, M.A., Guasch, A. TIMSPAT - Reachability graph search-based optimization tool for colored Petri net-based scheduling. "Computers and industrial engineering", 1 Novembre 2016, vol. 101, núm. C, p. 372-390. |
dc.identifier.issn | 0360-8352 |
dc.identifier.uri | http://hdl.handle.net/2117/100099 |
dc.description.abstract | We present a reachability graph-based search optimization tool for scheduling.Motivated by the lack of tool support for optimization of TCPNs.Implements an event-driven timed state space with AI heuristic search algorithms.Aimed at supporting flexible decision making process with algorithm portfolio.Comparative study of nine search algorithms on real system demonstrates tool efficiency. The combination of Petri net (PN) modeling with AI-based heuristic search (HS) algorithms (PNHS) has been successfully applied as an integrated approach to deal with scheduling problems that can be transformed into a search problem in the reachability graph. While several efficient HS algorithms have been proposed albeit using timed PN, the practical application of these algorithms requires an appropriate tool to facilitate its development and analysis. However, there is a lack of tool support for the optimization of timed colored PN (TCPN) models based on the PNHS approach for schedule generation. Because of its complex data structure, TCPN-based scheduling has often been limited to simulation-based performance analysis only. Also, it is quite difficult to evaluate the strength and tractability of algorithms for different scheduling scenarios due to the different computing platforms, programming languages and data structures employed. In this light, this paper presents a new tool called TIMSPAT, developed to overcome the shortcomings of existing tools. Some features that distinguish this tool are the collection of several HS algorithms, XML-based model integration, the event-driven exploration of the timed state space including its condensed variant, localized enabling of transitions, the introduction of static place, and the easy-to-use syntax statements. The tool is easily extensible and can be integrated as a component into existing PN simulators and software environments. A comparative study is performed on a real-world eyeglass production system to demonstrate the application of the tool for scheduling purposes. |
dc.format.extent | 19 p. |
dc.language.iso | eng |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Automàtica i control |
dc.subject.lcsh | Petri nets |
dc.subject.lcsh | Computer simulation |
dc.subject.lcsh | Flexible manufacturing systems |
dc.subject.lcsh | Automation |
dc.subject.other | Colored Petri net |
dc.subject.other | Scheduling |
dc.subject.other | Reachability graph |
dc.subject.other | Heuristic search |
dc.subject.other | Discrete event system |
dc.subject.other | Flexible manufacturing system |
dc.subject.other | Simulation |
dc.title | TIMSPAT - Reachability graph search-based optimization tool for colored Petri net-based scheduling |
dc.type | Article |
dc.subject.lemac | Petri, Xarxes de |
dc.subject.lemac | Simulació per ordinador |
dc.subject.lemac | Sistemes de producció flexibles |
dc.subject.lemac | Automatització |
dc.contributor.group | Universitat Politècnica de Catalunya. LIAM - Laboratori de Modelització i Anàlisi de la Informació |
dc.identifier.doi | 10.1016/j.cie.2016.07.031 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://www.sciencedirect.com/science/article/pii/S0360835216302662 |
dc.rights.access | Open Access |
local.identifier.drac | 19620122 |
dc.description.version | Postprint (author's final draft) |
local.citation.author | Baruwa, O.; Piera, M.A.; Guasch, A. |
local.citation.publicationName | Computers and industrial engineering |
local.citation.volume | 101 |
local.citation.number | C |
local.citation.startingPage | 372 |
local.citation.endingPage | 390 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Articles de revista [1.394]
-
Articles de revista [50]