Boucheneb H., Berthelot G. (1996). Composition parallèle de réseaux de Pétri temporels : analyse par énumération des états accessibles. In :
Moukeli P. (ed.). 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. Paris : ORSTOM, p. 874-883. (Colloques et Séminaires). CARI'96 : Colloque Africain sur la Recherche en Informatique = CARI'96 : African Conference on Research in Computer Science, 3., Libreville (GAB), 1996/10/09-16. ISBN 2-7099-1333-X. ISSN 0767-2896.
Titre du document
Composition parallèle de réseaux de Pétri temporels : analyse par énumération des états accessibles
Année de publication
1996
Type de document
Partie d'ouvrage
Auteurs
Boucheneb H., Berthelot G.
In
Moukeli P. (ed.), 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
Source
Paris : ORSTOM, 1996,
p. 874-883 (Colloques et Séminaires). ISBN 2-7099-1333-X ISSN 0767-2896
Colloque
CARI'96 : Colloque Africain sur la Recherche en Informatique = CARI'96 : African Conference on Research in Computer Science, 3., Libreville (GAB), 1996/10/09-16
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)
Plan de classement
Logiciel [122LOGIC]
Descripteurs
MODELE MATHEMATIQUE ; ETAT ; SYSTEME INFORMATIQUE ; TRANSITION ; RESEAU DE PETRI ; PARALLELISME
