Grouk

∇

NON à la télévision

J'y suis allergique, dans les conditions d'atmosphère normale.

∇

Rien à fout’ du foot

Je suis allergique au foot,
dans les conditions normales de température et de pression.

∇

Non au langage SMS

Je ne supporte pas le langage SMS.

∇

Natation

J’adore la natation.

∇

Fromage

J’adore le fromage.

∇

Informatique

L’informatique, c’est fantastique !

∇

BD

J’aime la bande dessinée.

∇

Windows

Je suis adepte de Windows.

∇

Ubuntu

J’utilise Ubuntu, car je suis un être humain.

∇

Firefox

Mon navigateur web est Firefox.

∇

Freenaute

Mon fournisseur d'accès à Internet est Free.

∇

France

J’habite en France.

Boîte utilisateur

To do :

• modifier capteur et détecteur pour les différencier : le détecteur est tout ou rien, le capteur délivre une information.
• Finir Grafcet
• mettre les blocs fonctionnels dans langage Ladder
• faire ou traduire Binary Decision Diagrams
• compléter :
  • Model checking
  • Diagramme de décision binaire
  • logique temporelle
• faire:
  • Boîtes fonctionnelles (FBD)
  • Texte structuré (ST)
  • Liste d'instructions (IL)
  • logique CTL et logique LTL