Reseau de pétri
Fermé
un gard
Messages postés
16
Statut
Membre
-
ilies_mazouna -
ilies_mazouna -
bonjour à tous...
Quelqu'un connaitrait-il un site sur les réseau de petrie ( cours exo... )
merci
Quelqu'un connaitrait-il un site sur les réseau de petrie ( cours exo... )
merci
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-
-
-
-
bonsoir,je cherche une documentation sur la composition/décomposition de réseaux de pétri, par exémple si on a plusieurs modéles de réseaux de pétri qui partages des places et/ou transitions comment faire la fusion pour avoir un modéle globale. et si on a un seule modéle comment faire la décomposition en sous modéles de réseaux de pétri?
merci pour votre aide.
bonne nuit et bon courage. -
-
-
Google /"réseau[x] de Petri" donne 1850 pages "francophones".
-
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. -
-
-
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. -
-
-
-
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! -
-
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. -
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...
-
-
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 -
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
