Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping | Publicación