Reseau de pétri
Fermé
un gard
Messages postés
16
Date d'inscription
jeudi 25 octobre 2001
Statut
Membre
Dernière intervention
2 novembre 2001
-
25 oct. 2001 à 16:18
ilies_mazouna - 22 juin 2010 à 15:45
ilies_mazouna - 22 juin 2010 à 15:45
12 réponses
les reseaux de petri est une methode graphique pour la modelisation, simulation des systemes en general, cette methode s'est tres vite developpé et peut etre utilisée pour pratiquement tous les types de systemes, en tennant copmptes du temps, du parallelisme, systemes repartis etc....
si tu as besoin de doc email to me , c'est avec plaisir.
bonne chance
si tu as besoin de doc email to me , c'est avec plaisir.
bonne chance
Marden
Messages postés
1072
Date d'inscription
dimanche 11 février 2001
Statut
Membre
Dernière intervention
29 janvier 2006
208
25 oct. 2001 à 20:11
25 oct. 2001 à 20:11
Google /"réseau[x] de Petri" donne 1850 pages "francophones".
un gard
Messages postés
16
Date d'inscription
jeudi 25 octobre 2001
Statut
Membre
Dernière intervention
2 novembre 2001
1
26 oct. 2001 à 09:25
26 oct. 2001 à 09:25
merci, mais j'ai déjà essayé, et franchement pas très interressant... :-(
papillon2000
Messages postés
106
Date d'inscription
samedi 13 décembre 2008
Statut
Membre
Dernière intervention
12 janvier 2010
15
12 juin 2009 à 17:46
12 juin 2009 à 17:46
l'idée est d'avoir une pile d'état , tu dois calculer les étas de ton graphe (ou le graphe de marquage)
tu cherche un algorithme de marquage pour verifier ton modèle.
cet algorithme permet d'empiler et dépiler les etats selon le franchissment de transition(s).
à partir de l'etat initial que tu va empiler , si t'a une seul transiition active tu calcule son le marquage et tu dépile l'etat, si ta plus qu'une transition permise tu empile tous les état (après le calcule de chaque etat résulat du franchissment de la transition correspondante) et après tu dépile et tu traite, et ainsi de suite.
l'algorithme ce termibe lorsque la pile est vide.
on dépilant les état (qui sont les marquage) tu teste ar exmple le blocage, la terminaison; ....
bon courage ami.
tu cherche un algorithme de marquage pour verifier ton modèle.
cet algorithme permet d'empiler et dépiler les etats selon le franchissment de transition(s).
à partir de l'etat initial que tu va empiler , si t'a une seul transiition active tu calcule son le marquage et tu dépile l'etat, si ta plus qu'une transition permise tu empile tous les état (après le calcule de chaque etat résulat du franchissment de la transition correspondante) et après tu dépile et tu traite, et ainsi de suite.
l'algorithme ce termibe lorsque la pile est vide.
on dépilant les état (qui sont les marquage) tu teste ar exmple le blocage, la terminaison; ....
bon courage ami.
mr_poussy
Messages postés
2735
Date d'inscription
vendredi 24 août 2001
Statut
Modérateur
Dernière intervention
27 février 2013
61
26 oct. 2001 à 09:32
26 oct. 2001 à 09:32
c quoi les reseaux de petrie ?
poussy
poussy
un gard
Messages postés
16
Date d'inscription
jeudi 25 octobre 2001
Statut
Membre
Dernière intervention
2 novembre 2001
1
30 oct. 2001 à 09:18
30 oct. 2001 à 09:18
c une façon de modéliser un system sous forme de graphe....en gros c ça.
mr_poussy
Messages postés
2735
Date d'inscription
vendredi 24 août 2001
Statut
Modérateur
Dernière intervention
27 février 2013
61
>
un gard
Messages postés
16
Date d'inscription
jeudi 25 octobre 2001
Statut
Membre
Dernière intervention
2 novembre 2001
30 oct. 2001 à 11:50
30 oct. 2001 à 11:50
'ci gard
poussy
poussy
salut,
pour ta question, un réseau de pétri c'est un modèle mathématique servant à représenter divers systèmes(informatiques, industriels,...) travaillant sur des variables discrètes.
en fait c'est la thèse de CARL ADAM PETRI, il s'agit (comme j'ai déja noté) d'une représentation mathématique permettant la modélisation d'un système.
pour ta question, un réseau de pétri c'est un modèle mathématique servant à représenter divers systèmes(informatiques, industriels,...) travaillant sur des variables discrètes.
en fait c'est la thèse de CARL ADAM PETRI, il s'agit (comme j'ai déja noté) d'une représentation mathématique permettant la modélisation d'un système.
Vous n’avez pas trouvé la réponse que vous recherchez ?
Posez votre question
huuummm c bien çà les RdP!
J'ai recup des fichier PDF sur www.laas.fr/~robert por mes cours
le pb c q c vraiment théo donc pour les exo c pas top.
Tu peux aussi telecharger un petit logiciel libre "PESIM"
Bon courage!
J'ai recup des fichier PDF sur www.laas.fr/~robert por mes cours
le pb c q c vraiment théo donc pour les exo c pas top.
Tu peux aussi telecharger un petit logiciel libre "PESIM"
Bon courage!
un gard
Messages postés
16
Date d'inscription
jeudi 25 octobre 2001
Statut
Membre
Dernière intervention
2 novembre 2001
1
31 oct. 2001 à 15:37
31 oct. 2001 à 15:37
j'te remerci.....
papillon2000
Messages postés
106
Date d'inscription
samedi 13 décembre 2008
Statut
Membre
Dernière intervention
12 janvier 2010
15
23 déc. 2008 à 13:54
23 déc. 2008 à 13:54
bonjour,je souhaite recevoir SVP un documentation ou une aide sur la validation de modèle de réseau de pétri.
j'ai un modèle et je veux le valider mais j'ai aucune idée.
j'ai un modèle et je veux le valider mais j'ai aucune idée.
papillon2000
Messages postés
106
Date d'inscription
samedi 13 décembre 2008
Statut
Membre
Dernière intervention
12 janvier 2010
15
12 juin 2009 à 13:46
12 juin 2009 à 13:46
bonjour cam, oui sayé,j'ai utilisé un algorithme de marquage pour verifier mon modèle.
camerlis
Messages postés
1
Date d'inscription
vendredi 12 juin 2009
Statut
Membre
Dernière intervention
12 juin 2009
12 juin 2009 à 15:01
12 juin 2009 à 15:01
Bien.
Dans ce cas, pourrais tu à ton tour me fournir ta doc ou bien ta méthode?
En fait, j'ai proposé un modèle de réseau de Petri pour la modélisation des tâches temps réel.
Pas grave si c'est pas ton domaine...
Le truc, c'est que j'ai besoin de le valider.
Je peux le faire par simulation, mais dans ce cas je ne suis pas sur de parcourir tous les cas, ou de façon formelle, ce que je préfère.
J'espère qu'on va donc échanger...
Dans ce cas, pourrais tu à ton tour me fournir ta doc ou bien ta méthode?
En fait, j'ai proposé un modèle de réseau de Petri pour la modélisation des tâches temps réel.
Pas grave si c'est pas ton domaine...
Le truc, c'est que j'ai besoin de le valider.
Je peux le faire par simulation, mais dans ce cas je ne suis pas sur de parcourir tous les cas, ou de façon formelle, ce que je préfère.
J'espère qu'on va donc échanger...
khelilo
Messages postés
449
Date d'inscription
mercredi 31 janvier 2007
Statut
Membre
Dernière intervention
16 mai 2016
87
15 juin 2009 à 14:52
15 juin 2009 à 14:52
Bonjour, je suis en train de préparer mon projet de fin d'études et la pour la derniere patrie, je odis faire un simulation de mon modele, pour cela je voudrais un p'tit soft , veuillez m'aider svp il me reste qu'une semaine
AIDEZ MOI PLZZZZ c urgent
AIDEZ MOI PLZZZZ c urgent
khelilo
Messages postés
449
Date d'inscription
mercredi 31 janvier 2007
Statut
Membre
Dernière intervention
16 mai 2016
87
18 juin 2009 à 16:20
18 juin 2009 à 16:20
Bonjour, je veux seulement un Soft gratuit ou une version démo pour developper mon modele sur reseaux de petri tel que MOCA-RP par exemple, alors quelqun pourrait m'aider SVP c'est urgent !!!!!!!!!!!!!
khelilo
Messages postés
449
Date d'inscription
mercredi 31 janvier 2007
Statut
Membre
Dernière intervention
16 mai 2016
87
3 janv. 2010 à 16:36
3 janv. 2010 à 16:36
merci
bonjour, il y' a plusieurs des fichiers sur l' RdP le site est : http://www.yopdf.com/exercices-reseau-de-petri-pdf.html; bon courage
3 mai 2008 à 19:39
21 juil. 2008 à 15:57
merci pour votre aide.
14 oct. 2008 à 20:18
14 oct. 2008 à 21:57
merci pour votre aide.
bonne nuit et bon courage.
26 oct. 2008 à 18:33
mon mail bitabalde@yahoo.fr