Modèliser un processus avec réseau de pétri

**fleure** · 16/03/2009, 10h35

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.

**acacia** · 16/03/2009, 18h37

Envoyé par fleure

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.

Exemple de code? par exemple rédacteur/consommateur se modélise en Petri puis par exemple quand tu codes tu fais attention à l'exclusion mutuelle.

**christianf** · 07/04/2009, 13h22

Bonjour.
Tu n'es pas précis dans ta question, mais j'ai trouvé ce lien intéressant...
http://www.metz.supelec.fr/metz/pers...delisation.pdf
bon courage

**SoftAbdou** · 21/06/2009, 02h04

Envoyé par fleure

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.

tu veux quoi exactement ? car je suis entrain de développer mon éditeur Petri-Net (workflow) j'ai terminé la partie modélisation graphique d'un processus et je suis avec la traduction de mon schéma graphique à un fichier XML.
Alors merci de préciser ta question

Cordialement,

SoftAbdou