Petri Networks
Mostrando 1-9 de 9 artigos, teses e dissertações.
-
1. Wi-Bio: management policy aimed at the establishment of networks for patient monitoring using IEEE 802.11
INTRODUCTION: Patient monitoring will tend to decline in the coming years due to a shortage of physical and human resources in hospitals. Therefore, several studies define alternatives to improve patient monitoring using wireless networks. In these studies, a wireless network is used to transfer data generated by medical sensors without interacting with the
Rev. Bras. Eng. Bioméd.. Publicado em: 2014-06
-
2. Heavy Traffic Approximations for Signaling Networks / Aproximações para Redes Estocásticas Sinalizantes sob Tráfego Pesado
Este trabalho apresenta a caracterização de limites no sentido fraco dos sistemas de filas em redes que podem enviar e receber sinais. Estes sinais podem ser usados, entre outras coisas, para que as filas se auto controlem. Mostra-se que, sob certas condições, o sistema pode ser aproximado por uma equação diferencial estocástica refletida. Os benefíc
Publicado em: 2009
-
3. 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
-
4. Modelo de navegaÃÃo para robÃs mÃveis baseado em redes de petri coloridas / Navigation model for mobile robots based on networks of Colored Petri
Sistemas de navegaÃÃo autÃnomos devem ser capazes de definir uma seqÃÃncia de aÃÃes a serem tomadas por robÃs mÃveis, dotados de um conjunto limitado de sensores, quando expostos a um ambiente externo suposto desconhecido e tendo que atender simultaneamente a um elenco de objetivos previamente especificados. O interesse cientÃfico no estudo de sist
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 30/01/2008
-
5. AvaliaÃÃo de dependabilidade de sistemas com mecanismos tolerantes a falha: desenvolvimento de um mÃtodo hÃbrido baseado em EDSPN e diagrama de blocos
In current days, we observe a vertiginous advance of technology and a larger dependence of the society on computational systems. A massive use of computerized devices, fixed and mobile, inside a concept of ubiquitous computation, and the increasing pervasiveness of computers and services networks, have been turning systems extremely complex and dynamic. This
Publicado em: 2007
-
6. SimRP - simulador de redes de petri flexível com geração de código VHDL
The objective of this dissertation is to implement a description and simulation CAD tool for Petri Nets (PNs) based on open source, called SimRP. This CAD tool will be able to describe and simulate several PNs namely Ordinary, Temporal, Temporized and Interpreted types. Besides this, SimRP provides an option to generate VHDL code (a hardware description lang
Publicado em: 2006
-
7. Uma arquitetura para sistemas supervisórios industriais e sua aplicação em processos de elevação artificial de petróleo
A utilização de sistemas de supervisão tem se tornado cada vez mais essencial ao acesso, gerenciamento e obtenção de dados dos processos industriais, devido ao constante e frequente desenvolvimento da automação industrial. Estes sistemas supervisórios (SCADA) têm sido amplamente utilizados em diversos ambientes industriais para armazenar dados do pr
Publicado em: 2005
-
8. ProgramaÃÃo paralela de alto nÃvel e eficiente sobre arquiteturas distribuÃdas
New technological paradigms have emerged in high-performance computing since last decade. The consolidation of distributed architectures and the recent advances in the state-of-the-art performance of processor and interconnection networks gave birth to clusters, conventional computer networks that can compete with supercomputers in its niche of applications,
Publicado em: 2003
-
9. Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets
An integrated understanding of molecular and developmental biology must consider the large number of molecular species involved and the low concentrations of many species in vivo. Quantitative stochastic models of molecular interaction networks can be expressed as stochastic Petri nets (SPNs), a mathematical formalism developed in computer science. Existing
The National Academy of Sciences.