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.
Version imprimable
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.Citation:
Envoyé par fleure
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
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.Citation:
Envoyé par fleure
Alors merci de préciser ta question ;)
Cordialement,
SoftAbdou
j'ai la meme probleme ,je souhaite de m'aider :cry:
et merci . :ccool:
bonjour,
je veux savoir s'il existe un outil qui transforme les diagramme sdl en réseaux de Petri stochastique.
Merci d'avance,