Ce chapitre 12 présente les réseaux de Petri temporels, la modélisation et le calcul du graphe des classes d’états. Pour suivre la vidé, vous pouvez utiliser ce support de cours :
TPN-SED2025. pdf. Une mise en application est possible avec le logiciel Roméo et les débuts d'exercice :
trains2sanscontrol.xml,
Gallon.xml et
ExDucours.xml