Le modèle producteur/consommateur à tampon borné sous forme de réseau de Petri : les places complémentaires de jetons libres et utilisés imposent la capacité du tampon, une transition temporisée de retrait modélise le rythme du consommateur, et la capacité des places limite le tampon à trois emplacements. Les jetons circulant de libre→utilisé→libre illustrent la contre-pression comme propriété structurelle.
“Créez un réseau de Petri pour un producteur et un consommateur partageant un tampon borné avec trois emplacements libres et un jeton par travailleur prêt.”