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
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.
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!
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.
bonjour cam, oui sayé,j'ai utilisé un algorithme de marquage pour verifier mon modèle.
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...
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
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 !!!!!!!!!!!!!
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
merci pour votre aide.
merci pour votre aide.
bonne nuit et bon courage.
mon mail bitabalde@yahoo.fr