bonjous à tous, je souhaite modèliser un processus avec les réseaux de pétri et verifier le modèle mais je ne dais pas comment faire.
pouvez vous me donner un exemple de code (je travaille avec java).
merci à tous.