Petri Nets
Mostrando 13-24 de 83 artigos, teses e dissertações.
-
13. Modelagem temporal de sistemas : uma abordagem fundamentada em redes de petri / Temporal modeling of information systems: a Petri net based approach
Neste trabalho e proposta a abordagem TempER-Tr, uma técnica de modelagem conceitual, fundamentada em rede de Petri, que integra a especificação das propriedades dinâmicas de um sistema a um modelo de dados temporal do tipo entidade relacionamento. Um modelo ou esquema conceitual descreve as propriedades identificadas de um sistema a ser desenvolvido. Es
Publicado em: 2010
-
14. Maquina de clausulas : arquitetura e modelo de execucao de clausulas prolog / Clause machines : architecture and prolog clauses execution model
Este trabalho define um modelo de execução para clausulas Prolog, a partir do modelo abstrato de Maquinas de Cláusulas, e o Projeto de uma arquitetura paralela que suporte o modelo proposto. São também introduzidos alguns aspectos sobre as linguagens Lógicas e as maquinas Prolog visto que estes elementos estão relacionados intimamente tanto com o mode
Publicado em: 2010
-
15. Controle supervisÃrio da cadeia produtiva do biodiesel da mamona baseado em redes de Petri / Supervisory control of castor bean biodiesel suppy chain based on Petri nets
Nowadays many countries present critical problems related to energy demand-supply equilibrium. The reserves of petroleum-based products are unable to face future demand for the next decades. So, the search for alternative sources of energy has been strongly directed to biodiesel. Several fruit oils can be used as a source for biodiesel production and the cas
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/09/2009
-
16. Especificação de testes funcionais usando Redes de Petri a objetos para softwares orientados a objetos
O objetivo deste trabalho é o de propor a formalização de testes funcionais, através da especificação destes usando redes de Petri a Objetos e Workflow-Nets no contexto de softwares orientados a objetos. Inicialmente, Workflw-Nets são usadas para representar os requisitos do software. Em seguida, Workflow-Nets a objetos derivadas dos Workflow- Nets e
Publicado em: 2009
-
17. Verificação formal de sistemas discretos distribuídos. / Formal verification of distribuited discrete systems.
This work deals with the process of design and verification of complex systems, mainly real time, concurrent and distributed systems. An enumerative technique is proposed for model-checking which is capable of determining both quantitative and qualitative properties. The proposed technique detach the algorithm for labeling the formula being checked from the
Publicado em: 2009
-
18. Análise sob restrições baseada em um raciocínio energético para o problema de escalonamento tempo real de sistemas de gerenciamento de workflow
This work propose a method of analysis under constraints applied to the problem of real time scheduling in workflow management systems. The goal is to filter the start of activities in order to eliminate inconsistent dates with scheduling solutions and to identify inadmissible schedules due to the inability of energy resources involved. The adopted model is
Publicado em: 2009
-
19. Software synthesis for energy-constrained hard real-time embedded systems
A grande expansão do mercado de dispositivos digitais tem forçado empresas desenvolvedoras de sistemas embarcados em lidar com diversos desafios para prover sistemas complexos nesse nicho de mercado. Um dos desafios prominentes está relacionado ao consumo de energia, principalmente, devido aos seguintes fatores: (i) mobilidade; (ii) problemas ambientais;
Publicado em: 2009
-
20. ISPN: Modelagem e avaliaÃÃo estocÃstica intervalar
O estudo de sistemas atravÃs de modelos à baseado em abstraÃÃes do mundo real. Portanto, os cÃlculos resultantes devem ser interpretados com cautela. Quando incertezas ou variabilidades estÃo associadas com os parÃmetros do sistema, a caracterizaÃÃo pontual dos parÃmetros pode ser inadequada. As incertezas podem estar associadas a parÃmetros que n
Publicado em: 2009
-
21. M3DS: a dynamic model of distributed development of software. / M3DS: um modelo de dinâmica de desenvolvimento distribuído de software.
This work presents a dynamic model of distributed development of software, whose objective is to represent the reality and the aspects of DDS environments, in order to turn them qualitatively and quantitatively observable. A preliminary model was elaborated from the bibliographical revision and an experimentation case developed by LErario et al (2004). The c
Publicado em: 2009
-
22. AlocaÃÃo de recursos com justiÃa: uma aplicaÃÃo de jogos cooperativos em redes de computadores
This work presents a methology for applying cooperative game theory concepts for solving the bandwidth allocation problem within differentiated traffic profiles for Internet applications. The multi-service networks scenario is explored as an operational network example for fair bandwidth sharing mechanisms. This operational network uses mechanisms based on s
Publicado em: 2009
-
23. AvaliaÃÃo do impacto de uma polÃtica de manutenÃÃo na performabilidade de sistemas de transferÃncia eletrÃnica de fundos
The transfer electronic funds systems (EFT) promote financial benefits to institutions that utilize this kind of service and conveniences for its clients. EFT systems realize credit and debit operations in bank accounts through points of sales terminals (POSs) in different companies. This way, analyzing the performance of the EFT systems has a fundamental im
Publicado em: 2009
-
24. Melhorias nos processos de gestão e fabricação de uma indústria metalmecânica utilizando redes de petri auxiliada por simulação discreta
The management of projects assumes a role nowadays each more important time in the enterprise activities. In manufacture companies who work in an environment under order, the projects have important paper in the survival of the company. Thus, these companies must possess an efficient systematics for the management of its projects, in order to take care of to
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/11/2008