Exercice Réseau de Pétri:
Les Boucles Tantque, Pour, repeter en Réseau de Pétri et Structure Conditionnelle Si, Sinon en Réseau de Pétri
Dans un algorithme (ou programme informatique) nous rencontrons souvent des cas ou il faut soit exécuter une instruction celons une certaine condition soit itérer une instruction plusieurs fois.Une boucle permet d’itérer plusieurs fois des instructions. Une instruction conditionnelle est une instruction qui n'est exécutée que si une condition est respectée. Il est possible d'ajouter des instructions alternatives et des instructions alternatives conditionnelles à une structure conditionnelle.
Les étudiants du Groupe Genius désirent modéliser à l’aide d'un un réseau de pétri (RdP) :
1) un test « si C alors [traitement si] sinon [traitement sinon] »,
2) une boucle « pour i = 1, N faire [traitement] »,
3) une boucle « tant que C faire [traitement] »,
4) une boucle « répéter [traitement] jusqu’à C ».
Note : C est une condition