Search
Now showing items 31-40 of 3222
AN ANALYTICAL METHOD FOR WELL-FORMED WORKFLOW/PETRI NETS VERIFICATION: CLASSICAL SOUNDNESS
(International Journal of applied mathematics and computer science, 2014)
In this paper we consider workflow nets as dynamical systems governed by ordinary difference equations described by a particular class of Petri nets. Workflow nets are formal model of business processes. Well-formed business ...
Uma abordagem baseada em Redes de Petri para Modelagem, Análise e Simulação de Cenários de Vídeo Games Singleplayer e MultiplayerA Petri Network based approach for Modeling, Analysis and Simulation of Singleplayer and Multiplayer Video Games Scenarios
(Universidade Federal de UberlândiaBrasilPrograma de Pós-graduação em Ciência da Computação, 2020)
Uma abordagem em redes de Petri temporizadas para sincronização de produção em sistemas de manufatura enxuta
(Universidade Tecnológica Federal do ParanáPato BrancoBrasilDepartamento Acadêmico de InformáticaEngenharia de ComputaçãoUTFPR, 2021-11-02)
Planning tools and production capacity are essential for synchronizing modern production systems, especially manufacturing systems. Without these tools, the study of implementation of lean production optimization techniques ...
Modelación de Exclusión Mutual de Sistemas de Eventos Discretos con Redes de Petri
(Ciencia e Ingeniería, 2015)
Uma metodologia para especificar interação 3D utilizando Redes de Petri
(Pontifícia Universidade Católica do Rio Grande do SulPorto Alegre, 2007)
Este trabalho apresenta uma metodologia para modelar e construir tarefas de interação 3D em ambientes virtuais usando Redes de Petri, uma taxonomia de decomposição de técnicas e conceitos de orientação a objetos. Para ...
Uma metodologia para especificar interação 3D utilizando Redes de Petri
(Pontifícia Universidade Católica do Rio Grande do SulPorto Alegre, 2007)
Este trabalho apresenta uma metodologia para modelar e construir tarefas de interação 3D em ambientes virtuais usando Redes de Petri, uma taxonomia de decomposição de técnicas e conceitos de orientação a objetos. Para ...
Diseño e implementación de un simulador de redes de Petri
(2008-10-20)
RESUMEN: En este trabajo se estudian las redes de Petri dado que poseen un atractivo importante para el modelado y simulación de sistemas, debido a que integran en el mismo formalismo gráfico, la representación del sistema ...