Mostra el registre d'ítem simple
Simplifying the verification of simulation models through Petri net to FlexSim mapping
dc.contributor.author | Fonseca Casas, Pau |
dc.contributor.author | Guasch Petit, Antonio |
dc.contributor.author | Figueras Jové, Jaume |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Sistemes, Automàtica i Informàtica Industrial |
dc.contributor.other | Universitat Politècnica de Catalunya. Doctorat en Estadística i Investigació Operativa |
dc.date.accessioned | 2020-03-03T09:31:51Z |
dc.date.available | 2020-03-03T09:31:51Z |
dc.date.issued | 2020-02-19 |
dc.identifier.citation | Fonseca, P.; Guasch, A.; Figueras, J. Simplifying the verification of simulation models through Petri net to FlexSim mapping. "Applied sciences", 19 Febrer 2020, vol. 10, núm. 4, p. 1395:1-1395:17. |
dc.identifier.issn | 2076-3417 |
dc.identifier.uri | http://hdl.handle.net/2117/178977 |
dc.description.abstract | Simplifying the encoding of a simulation conceptual model representation reduces the number of errors that will be detected in the verification phase. In this paper, we present a mapping between Petri nets, a well-known formalism, and FlexSim, a well-known simulation tool. The proposal is illustrated through an example of how a model specified in a Petri net can be encoded easily, reducing the time needed to understand and verify the model. In the proposed methodology, the mapping must be defined at the initial stage of the encoding, starting from (in this case) a Petri net conceptual model, and ending at the encoding tool (FlexSim in this case). The main advantages of the proposed methodology are discussed. |
dc.language.iso | eng |
dc.publisher | Multidisciplinary Digital Publishing Institute |
dc.subject | Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Simulació |
dc.subject.lcsh | Operations research |
dc.subject.other | discrete simulation |
dc.subject.other | Petri nets |
dc.subject.other | FlexSim |
dc.subject.other | mapping |
dc.subject.other | verification |
dc.title | Simplifying the verification of simulation models through Petri net to FlexSim mapping |
dc.type | Article |
dc.subject.lemac | Investigació operativa |
dc.contributor.group | Universitat Politècnica de Catalunya. IMP - Information Modeling and Processing |
dc.contributor.group | Universitat Politècnica de Catalunya. SIC - Sistemes Intel·ligents de Control |
dc.identifier.doi | 10.3390/app10041395 |
dc.description.peerreviewed | Peer Reviewed |
dc.subject.ams | Classificació AMS::90 Operations research, mathematical programming::90B Operations research and management science |
dc.relation.publisherversion | https://www.mdpi.com/2076-3417/10/4/1395 |
dc.rights.access | Open Access |
local.identifier.drac | 27019646 |
dc.description.version | Postprint (author's final draft) |
local.citation.author | Fonseca, P.; Guasch, A.; Figueras, J. |
local.citation.publicationName | Applied sciences |
local.citation.volume | 10 |
local.citation.number | 4 |
local.citation.startingPage | 1395:1 |
local.citation.endingPage | 1395:17 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Articles de revista [133]
-
Articles de revista [1.397]
-
Articles de revista [70]
-
Articles de revista [719]
-
Articles de revista [126]