Loading...
Loading...

Go to the content (press return)

Simplifying the verification of simulation models through Petri net to FlexSim mapping

Author
Fonseca, P.; Hu, D.L.; Guasch, A.; Figueras, J.
Type of activity
Journal article
Journal
Applied sciences
Date of publication
2020-02-19
Volume
10
Number
4
First page
1395:1
Last page
1395:17
DOI
10.3390/app10041395
Repository
http://hdl.handle.net/2117/178977 Open in new window
URL
https://www.mdpi.com/2076-3417/10/4/1395 Open in new window
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 define...
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.
Keywords
FlexSim, Petri nets, discrete simulation, mapping, verification
Group of research
CS2AC-UPC - Supervision, Safety and Automatic Control
IMP - Information Modelling and Processing
SIC - Smart Control Systems
inLab FIB

Participants

Attachments