Abstract FR:

Application de la theorie des reseaux de petri stochastiques colores a l'analyse de certains problemes lies aux systemes repartis en temps reel (controle reparti, prevention d'interblocage, bases de donnees reparties, messagerie, interconnexions et acces aux reseaux locaux). Ces applications ont ete possibles grace au developpement d'un logiciel, applicable aux modeles markoviens