Acesso mais rápido do que o navegador!
18 relações: Arquitetura de processos, Buffer duplo, Carl Adam Petri, Cálculo de processos, Ciência da computação, Computação paralela, Diagrama de fluxo de dados, Grafo bipartido, Grzegorz Rozenberg, Métodos formais, Mengchu Zhou, Prêmio Pioneiro da Computação, Problema da alcançabilidade, Rüdiger Valk, Rede de Petri temporizada, Semântica formal, Verificação formal, Wil van der Aalst.
Arquitetura de processos
Arquitetura de processos é a especificação da estrutura geral de um sistema de processos e um conceito aplicável a diversos campos tais como informática, gestão de processos de negócio, gestão estratégica etc.
Novo!!: Rede de Petri e Arquitetura de processos · Veja mais »
Buffer duplo
Em ciência da computação, buffer duplo é uma técnica usada para minimizar o atraso em operações de entrada/saída que usam buffers.
Novo!!: Rede de Petri e Buffer duplo · Veja mais »
Carl Adam Petri
Carl Adam Petri (Leipzig, — Siegburg) foi um matemático e cientista da computação da Alemanha.
Novo!!: Rede de Petri e Carl Adam Petri · Veja mais »
Cálculo de processos
Em ciência da computação, cálculo de processos (process calculus) é uma família diversificada de abordagens para modelar formalmente sistemas concorrentes.
Novo!!: Rede de Petri e Cálculo de processos · Veja mais »
Ciência da computação
A Ciência da Computação lida com fundamentos teóricos da informação, computação, e técnicas práticas para suas implementações e aplicações.
Novo!!: Rede de Petri e Ciência da computação · Veja mais »
Computação paralela
Computação paralela é uma forma de computação em que vários cálculos são realizados ao mesmo tempo, operando sob o princípio de que grandes problemas geralmente podem ser divididos em problemas menores, que então são resolvidos concorrentemente (em paralelo).
Novo!!: Rede de Petri e Computação paralela · Veja mais »
Diagrama de fluxo de dados
Um diagrama de fluxo de dados é uma maneira de representar um fluxo de dados através de um processo ou sistema (geralmente um sistema de informação).
Novo!!: Rede de Petri e Diagrama de fluxo de dados · Veja mais »
Grafo bipartido
No campo da matemática da teoria dos grafos, um grafo bipartido ou bigrafo é um grafo cujos vértices podem ser divididos em dois conjuntos disjuntos U e V tais que toda aresta conecta um vértice em U a um vértice em V; ou seja, U e V são conjuntos independentes.
Novo!!: Rede de Petri e Grafo bipartido · Veja mais »
Grzegorz Rozenberg
Grzegorz Rozenberg (Leninsk, Rússia) é um cientista da computação polonês-neerlandês.
Novo!!: Rede de Petri e Grzegorz Rozenberg · Veja mais »
Métodos formais
Na ciência da computação e engenharia de software, métodos formais são técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de softwares e hardwares.
Novo!!: Rede de Petri e Métodos formais · Veja mais »
Mengchu Zhou
Mengchu Zhou (nascido 31 de outubro de 1963) é um distinto professor sino-americano de engenharia eléctrica e informática no Departamento Helen e John C. Hartmann de Engenharia Eléctrica e de Computação da New Jersey Institute of Technology (NJIT) e na Universidade de Ciência e Tecnologia de Macau.
Novo!!: Rede de Petri e Mengchu Zhou · Veja mais »
Prêmio Pioneiro da Computação
O Prêmio Pioneiro da Computação (Computer Pioneer Award) foi estabelecido em 1981 pelo "Board of Governors" da IEEE Computer Society para o reconhecimento e honra daquelas pessoas cujos esforços resultaram na criação e vitalidade contínua da indústria de computadores.
Novo!!: Rede de Petri e Prêmio Pioneiro da Computação · Veja mais »
Problema da alcançabilidade
Alcançabilidade é um problema fundamental que aparece em diferentes contextos: sistemas concorrentes de variável de estado finito e infinito modelos computacionais como autómato celular e rede de Petri, análise de programas, sistemas discretos e contínuos, sistemas de tempo crítico, sistemas híbridos, sistema de redução, probabilístico e sistemas paramétricos, e sistemas abertos modelados como jogos.
Novo!!: Rede de Petri e Problema da alcançabilidade · Veja mais »
Rüdiger Valk
Rüdiger Valk é um matemático alemão.
Novo!!: Rede de Petri e Rüdiger Valk · Veja mais »
Rede de Petri temporizada
Redes de Petri temporizadas são implementações de tempo às transições, ou às posições nas redes de Petri clássicas.
Novo!!: Rede de Petri e Rede de Petri temporizada · Veja mais »
Semântica formal
Semântica formal é a área de estudo de ciência da computação que se preocupa em especificar o significado (ou comportamento) de programas de computador e partes de hardware.
Novo!!: Rede de Petri e Semântica formal · Veja mais »
Verificação formal
Verificação formal é a prova matemática da conformidade de um algoritmo a certa especificação formal ou propriedade, usando métodos formais.
Novo!!: Rede de Petri e Verificação formal · Veja mais »
Wil van der Aalst
Wil van der Aalst (Eersel) é um cientista da computação holandês.
Novo!!: Rede de Petri e Wil van der Aalst · Veja mais »
