Description

Le Grafcet est un outil de spécification des automatismes logiques. Une présentation formelle et cohérente y est faite ici. Les réseaux de Petri permettent la description de systèmes dynamiques à événements discrets de toute nature. Ils possèdent de nombreuses propriétés qui sont présentées ici de façon simple et claire. Les principales extensions et abréviations utiles pour la modélisation et l'analyse des systèmes à événements discrets sont présentées. Outre les réseaux de Petri synchronisés, temporisés, stochastiques, continus et colorés, cette deuxième édition définit et étudie les réseaux de Petri hybrides qui contiennent une partie discrète et une partie continue et introduit les réseaux de Petri synchronisés étendus. Une centaine d'exercices, dont certains très élémentaires, sont proposés au fur et à mesure de l'avancement de la lecture, et une solution est donnée pour chacun d'eux.

Spécifications