Simulação do Ambiente WebLab – Um laboratório de acesso remoto educacional através de Redes de Petri Coloridas

Resumo

Este trabalho apresenta um ambiente de laboratório de acesso remoto, denominado WebLab, cujo objetivo principal é possibilitar a realização e controle em tempo real de experimentos de física básica, usando como meio a internet. Esse ambiente foi testado e validado em aplicações ligadas ao ensino de física, pode ser utilizada com as devidas adaptações, em qualquer área do conhecimento. Do ponto de vista da Engenharia da Computação, a verificação formal do ambiente WebLab foi realizada usando uma abordagem de redes de Petri Colorida. As especificações e verificações formais do ambiente baseadas nessas redes, permitem constatar se as funcionalidades planejadas do modelo pedagógico podem ser realizadas, antes mesmo de sua implementação.