Exercice N°1 - Modélisation RdP d'une file d'attente (6 points)
Cycle B. Réseaux de Petri ? Exercices (1). I. Structures algorithmiques. Modéliser
à l'aide de RdP : 1) un test « si C alors [traitement si] sinon [traitement sinon] »,.
Un extrait du document