Time Petri Nets
Mostrando 1-12 de 22 artigos, teses e dissertações.
-
1. Some issues in real-time systems verification using time Petri Nets
Time Petri Net (TPN) models have been widely used to the specification and verification of real-time systems. However, the claim that most of these techniques are useful for real-time system verification can be discussed, based on two assumptions: i) to be suitable for real-time systems verification, a technique must be able to check timing properties, both
Journal of the Brazilian Society of Mechanical Sciences and Engineering. Publicado em: 2011-12
-
2. 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
-
3. 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
-
4. 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
-
5. 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
-
6. 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
-
7. 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
-
8. 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
-
9. Systemic modeling of industrial processes continuous improvement through Six Sigma method and Petri nets. / Modelagem sistêmica do processo de melhoria contínua de processos industriais utilizando o método seis sigma e redes de Petri.
The globalization strengthens the necessity for companies to improve its processes and products in order to remains competitive and to attend expectations of a dynamic market and shareholders each time more demanding and eager to maximize their profits. The continuous improvement mentioned above, is not related only to the quality perceived by the final cons
Publicado em: 2008
-
10. Analysis of performance of protocol CAN for agricultural field application using coloured Petri net / Análise de desempenho do protocolo CAN para aplicação na área agrícola utilizando redes de Petri coloridas
Intemational and national research institutions and companies have focused efforts to develop and promote the implementation of the international standard ISO 11783, based upon the digital communication protocol CAN (Controller Area Network), in order to integrate devices in machines and agricultural implements. Therefore, it is presented the development and
Publicado em: 2007
-
11. Risk analysis of the airborne time-based spacing operation through a stochastically and dinamiclly coloured Petri net model. / Análise de risco da operação de espaçamento temporal aerotransportado por meio de um modelo em rede de Petri estocástica e dinamicamente colorida.
The safety in the airspace can considerably increase with the use of airborne spacing and separation operations. Under this paradigm, the task of maintaining a safe distance between aircraft is delegated to the pilots, which will be supported by the Airborne Separation Assistance System (ASAS). With this system, which is still in experimental phase, pilots b
Publicado em: 2007
-
12. 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