DESARROLLO DE UN SIMULADOR DIDÁCTICO DE REDES DE PETRI DE BAJO NIVEL

Este documento representa una propuesta de un simulador didáctico que puede emplearse para el aprendizaje de redes de Petri de bajo nivel que permitan al estudiante adentrarse en el manejo de los conceptos básicos de las mismas y en la formación de los modelos matemáticos que permiten llevar a cabo la evolución del marcado del sistema; éste se  ha desarrollado tomando en cuenta las reglas propias del comportamiento dinámico de las redes de Petri, que son fundamentales para llevar a cabo las transiciones en éstas.El resultado obtenido es un programa de cómputo funcional que, comparado con otras herramientas gráficas, brinda la posibilidad de comprender la evolución del marcado bajo una perspectiva matemática

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

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.Peer ReviewedPostprint (author's final draft