Next Article in Journal
Impact of Road Traffic Tendency in Europe on Fatigue Assessment of Bridges
Previous Article in Journal
Does Augmented Reality Affect Sociability, Entertainment, and Learning? A Field Experiment
Article

Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping

1
Statistics and Operations Research Department, Universitat Politècnica de Catalunya, 08034 Barcelona, Spain
2
Automatic Control Department, Universitat Politècnica de Catalunya, 08028 Barcelona, Spain
*
Author to whom correspondence should be addressed.
Appl. Sci. 2020, 10(4), 1395; https://doi.org/10.3390/app10041395
Received: 27 December 2019 / Revised: 3 February 2020 / Accepted: 12 February 2020 / Published: 19 February 2020
(This article belongs to the Section Applied Industrial Technologies)
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. View Full-Text
Keywords: discrete simulation; Petri nets; FlexSim; mapping; verification discrete simulation; Petri nets; FlexSim; mapping; verification
Show Figures

Figure 1

MDPI and ACS Style

Fonseca i Casas, P.; Lijia Hu, D.; Guasch i Petit, A.; Figueras i Jové, J. Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping. Appl. Sci. 2020, 10, 1395. https://doi.org/10.3390/app10041395

AMA Style

Fonseca i Casas P, Lijia Hu D, Guasch i Petit A, Figueras i Jové J. Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping. Applied Sciences. 2020; 10(4):1395. https://doi.org/10.3390/app10041395

Chicago/Turabian Style

Fonseca i Casas, Pau, Daniel Lijia Hu, Antoni Guasch i Petit, and Jaume Figueras i Jové. 2020. "Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping" Applied Sciences 10, no. 4: 1395. https://doi.org/10.3390/app10041395

Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop