Discussion :

[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.

[acacia]

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]

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]

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

[mnaira]

j'ai la meme probleme ,je souhaite de m'aider

et merci .

[123informatique]

bonjour,
je veux savoir s'il existe un outil qui transforme les diagramme sdl en réseaux de Petri stochastique.
Merci d'avance,