Sabiia Seb
PortuguêsEspañolEnglish
Embrapa
        Busca avançada

Botão Atualizar


Botão Atualizar

Ordenar por: 

RelevânciaAutorTítuloAnoImprime registros no formato resumido
Registros recuperados: 1
Primeira ... 1 ... Última
Imagem não selecionada

Imprime registro no formato completo
Composition parallèle de réseaux de Pétri temporels : analyse par énumération des états accessibles IRD
Boucheneb, H.; Berthelot, G..
Nous présentons un modèle de spécification composé d'un ensemble de réseaux de Petri temporels évoluant en parallèle. Nous avons développé, dans [BOU,93], une approche de construction du graphe d'atteignabilité pour un réseau de Petri temporel. Il s'agit d'étendre et d'adapter cette approche au modèle présenté ici. (Résumé d'auteur)
Tipo: Text Palavras-chave: MODELE MATHEMATIQUE; ETAT; SYSTEME INFORMATIQUE; TRANSITION; RESEAU DE PETRI; PARALLELISME.
Ano: 1996 URL: http://www.documentation.ird.fr/hor/fdi:010008793
Registros recuperados: 1
Primeira ... 1 ... Última
 

Empresa Brasileira de Pesquisa Agropecuária - Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área restrita

Embrapa
Parque Estação Biológica - PqEB s/n°
Brasília, DF - Brasil - CEP 70770-901
Fone: (61) 3448-4433 - Fax: (61) 3448-4890 / 3448-4891 SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional