img-logoInria img-logoFondationMetivierimg-logoFondationMetivierimg-logoSISCOMimg-logorennesMetropoleimg-logoGDRMacsimg-logorennesMetropoleimg-logoRegionBretagne

img-entreeInria

Modélisation des Systèmes réactifs (MSR'13)

INRIA Rennes-Bretagne Atlantique 13-15 novembre 2013

Exposé invité 2

img-ITP2013DominiqueBolignano Manuel Silva

Professeur Systèmes Ingénierie et contrôle d'automatismes à l'Université de Saragosse - membre de l'Académie des Sciences de Saragosse - Directeur du GISED

Un demi-siècle de la théorie des systèmes concurrents:
le paradigme des réseaux de Petri

Jeudi 14 novembre 2013

Modérateur: Hassane Alla - Questions à 60:08:53 ; durée totale: 77 mn

Résumé:

Science et technologie sont des constructions sociales, mais il est important de bien identifier les pionniers et les contributions principales. Cette présentation invitée a pour ambition de parcourir un ensemble des lignes de relevance dès le commencement de la théorie de systèmes concurrents. D’abord, on fait mention à la situation existante a l’époque, c'est-à- dire, aux débuts des années soixante, tout en mettant en valeur la contribution de Carl Adam Petri. On rappelle quelques éléments de la trajectoire vitale de Petri, mais aussi d’autres contributions pionnières aux USA, en particulier de Anatole Holt et le projet MAC au MIT. Le paradigme conceptuel des réseaux de Petri considère des aspect tels que la modélisation, l’analyse logique, l’évaluation des performances, l’optimisation paramétrique, la commande dynamique, le diagnostic et l’implémentation, éventuellement tolérant aux fautes, des systèmes. En bref, multidisciplinaires en soi, les formalismes qui appartiennent au paradigme des réseaux de Petri couvrent plusieurs phases du cycle de vie des systèmes à événements discrets complexes.

On essaie de mettre en perspective conjointe des éléments historiques, épistémologiques, scientifiques et techniques. Bien entendu, le but est aussi large que l’on ne pourra que, en humblement imitant Francisco de Goya, le grand peintre de Zaragoza, donner quelques traits fondamentaux, avec des petits coups de pinceau avec des couleurs complémentaires, pour donner un certain mouvement à la peinture à fresque, donc de tracé rapide.

Retour sommaire
img-logoPDF Les transparents
img-fleche-hautPage
retour haut page
img-logo-videotheque Retour Vidéothèque
© 2013 Pôle audiovisuel INRIA-Rennes