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
▼
Show Figures
Figure 1
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited
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 StyleFonseca 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.
