Stochastic Petri Nets
Mostrando 1-10 de 10 artigos, teses e dissertações.
-
1. Transformação de redes de Petri coloridas em processos de decisão markovianos com probabilidades imprecisas. / Conversion from colored Petri nets into Markov decision processes with imprecise probabilities.
The present work was motivated by the need to consider stochastic behavior when planning the production mix in a manufacturing system. These systems are exposed to stochastic behavior that is usually not considered during production planning. The main goal of this work was to obtain a method to model manufacturing systems and to represent their stochastic be
Publicado em: 2010
-
2. 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
-
3. 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
-
4. 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
-
5. Automatic dependent surveillance on air traffic control: risk assessment based on fluid stochastic Petri nets modeling. / Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas.
In last decades, the safety critical systems paradigm has changing to adapt itself to new necessities, such as costs reduction and productivity demand growth. In the Air Traffic System, those changes are ruled by CNS/ATM paradigm (Communication, Navigation, Surveillance / Air Traffic Management), based on new digital Technologies, mainly Satellites, applied
Publicado em: 2007
-
6. AvaliaÃÃo de Desempenho de Cadeias de Suprimentos Utilizando Componentes GSPN
O gerenciamento da cadeia de suprimentos à uma atividade de suma importÃncia para o sucesso de empresas de manufatura. Dentre outras atividades, destacam-se o controle de estoques e da distribuiÃÃo dos produtos acabados. Apenas esta Ãltima pode ser respon- sÃvel por mais de 50% dos custos logÃsticos totais. A avaliaÃÃo de desempenho da cadeia de sup
Publicado em: 2007
-
7. 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
-
8. Quantitative methods for management decisions in flight test campaigns for aeronautical certification.
Aircraft development process is characterized by high complexity and ever-decreasing lead times throughout for shortening time-to-market as an outcome.Development delays experienced in single systems, systems integration and the occurrence of design oscillations (design non compliances identified during flight tests that demand re-design and new test campaig
Publicado em: 2003
-
9. PROCESS CONTROL SYSTEMS : DEPENDABILITY AND PERFORMANCE MODELING
Today, a wide variety of computer systems are required to react automatically to various events generated by external processes and/or human operators. An important class of these process control systems, called hard real-time systems, need to respond to events under severe timing constraints expressed in terms of deadlines and earliest starting times. In ge
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/05/1997
-
10. 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.