%0 Book Section
%9 OS CH : Chapitres d'ouvrages scientifiques
%A Boucheneb, H.
%A Berthelot, G.
%T Composition parallèle de réseaux de Pétri temporels : analyse par énumération des états accessibles
%B CARI'96 : actes du 3ème colloque africain sur la recherche en informatique = CARI'96 : proceedings of the 3rd African conference on research in computer science
%C Paris
%D 1996
%E Moukeli, P.
%L fdi:010008793
%G FRE
%I ORSTOM
%@ 2-7099-1333-X
%K MODELE MATHEMATIQUE ; ETAT ; SYSTEME INFORMATIQUE ; TRANSITION
%K RESEAU DE PETRI ; PARALLELISME
%P 874-883
%U https://www.documentation.ird.fr/hor/fdi:010008793
%> https://horizon.documentation.ird.fr/exl-doc/pleins_textes/pleins_textes_6/colloques2/010008793.pdf
%W Horizon (IRD)
%X 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)
%S Colloques et Séminaires
%B CARI'96 : Colloque Africain sur la Recherche en Informatique = CARI'96 : African Conference on Research in Computer Science
%8 1996/10/09-16
%$ 122LOGIC