ChatDiagram
software development · devops · process modeling

Réseau de Petri pour pipeline de déploiement CI/CD

Type Réseau de PetriNorme Murata 1989 + ISO/IEC 15909-1Moteur schematex-petriMis à jour 29/09/2026
CI/CD Pipeline Deployment Petri Net
Drawing preview
Le scénario

Un pipeline CI/CD où un nouveau commit déclenche successivement la compilation, les tests, le déploiement en préproduction, l’approbation manuelle, puis le déploiement en production, avec des ressources d’environnement limitées.

Ce que contient ce dessin

Comprenez les décisions qui le sous-tendent.

01

Modéliser les environnements comme des places de ressources réutilisables (BuildEnv, TestEnv, etc.) afin d’imposer les contraintes de ressources.

02

Utiliser une transition pour la validation qui ne nécessite pas de jeton de ressource distinct.

03

Renvoyer les jetons dans les places d’environnement après chaque étape pour permettre leur réutilisation.

Lorsque vous devez analyser le flux et la concurrence des changements dans un pipeline avec des ressources partagées et limitées, ou expliquer le processus aux parties prenantes.

Voir tous les modèles de réseau de Petri →