Modelagem de conceitos e processos matemáticos por redes de petri coloridas: o caso da integrabilidade de funções reais

Abstract

As redes de Petri (RPs) constituem-se em uma ferramenta matemática e gráfica de uso geral. Sugere-se, neste trabalho, o uso de RPs como uma ferramenta de modelagem voltada para o ensino de noções matemáticas. A modelagem apoia-se no fato de as RPs terem como característica a representação de sistemas que utilizam forte base matemática. Como estudo de caso, apresenta-se uma modelagem para a organização do conteúdo de ensino sobre integrabilidade de funções reais baseada na evolução do conceito de integral. Para isto, considera-se uma função limitada, definida em um intervalo fechado e limitado da reta, que é analisada relativamente a condições que garantam ou excluam a sua integrabilidade por Cauchy, por Riemann, por Lebesgue ou por nenhum destes. A ideia de se modelar este conceito por RPs originou-se no contexto da sala de aula, por ocasião de seu ensino a alunos de primeiro ano de engenharia.Petri Nets (PNs) are a mathematical and graphical tool for general use. In this paper, the use of PNs is promoted as a modeling tool to organize the teaching of mathematical notions. The modeling presented in this work relies on the strong mathematical basis of PNs. As a case study, a model is constructed for teaching integrability of real functions, based on the evolution of the integral concept. With this aim, it is considered a real bounded function, defined on a closed and bounded interval, that is analyzed according to conditions which ensure or exclude its integration by Cauchy, by Riemann, by Lebesgue or by none of these integrals. The idea of modeling integrals using PN was originated in the context of mathematical classes, as the integral was being taught to first year engineering students.