@incollection{fdi:010008793,
  title = {{C}omposition parall{\`e}le de r{\'e}seaux de {P}{\'e}tri temporels : analyse par {\'e}num{\'e}ration des {\'e}tats accessibles},
  author = {{B}oucheneb, {H}. and {B}erthelot, {G}.},
  editor = {},
  language = {{FRE}},
  abstract = {{N}ous pr{\'e}sentons un mod{\`e}le de sp{\'e}cification compos{\'e} d'un ensemble de r{\'e}seaux de {P}etri temporels {\'e}voluant en parall{\`e}le. {N}ous avons d{\'e}velopp{\'e}, dans [{BOU},93], une approche de construction du graphe d'atteignabilit{\'e} pour un r{\'e}seau de {P}etri temporel. {I}l s'agit d'{\'e}tendre et d'adapter cette approche au mod{\`e}le pr{\'e}sent{\'e} ici. ({R}{\'e}sum{\'e} d'auteur)},
  keywords = {{MODELE} {MATHEMATIQUE} ; {ETAT} ; {SYSTEME} {INFORMATIQUE} ; {TRANSITION} ; {RESEAU} {DE} {PETRI} ; {PARALLELISME}},
  booktitle = {{CARI}'96 : actes du 3{\`e}me colloque africain sur la recherche en informatique = {CARI}'96 : proceedings of the 3rd {A}frican conference on research in computer science},
  numero = {},
  pages = {874--883},
  address = {{P}aris},
  publisher = {{ORSTOM}},
  series = {{C}olloques et {S}{\'e}minaires},
  year = {1996},
  ISBN = {2-7099-1333-{X}},
  ISSN = {0767-2896},
  URL = {https://www.documentation.ird.fr/hor/fdi:010008793},
}