Reseau de pétri [Fermé]

un gard 16 Messages postés jeudi 25 octobre 2001Date d'inscription 2 novembre 2001 Dernière intervention - 25 oct. 2001 à 16:18 - Dernière réponse :  ilies_mazouna
- 22 juin 2010 à 15:45
bonjour à tous...

Quelqu'un connaitrait-il un site sur les réseau de petrie ( cours exo... )

merci
Afficher la suite 

32 réponses

+7
Utile
8
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
Cette réponse vous a-t-elle aidé ?  
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.
je vous en pri envoyer moi le cours sur les reseaux de petri j'en n'ai besoin merci
mon mail bitabalde@yahoo.fr
Bonsoir,

J'aurais également besoin de ces documents, pourriez-vous me les envoyer?

Bien cordialement.

nzonikode
agent2010 > nzonikode - 6 janv. 2010 à 10:44
Bonjour TLM
j'ai besoin des documents sur les reseaux de petri (definition concepts) surtout les reseaux de petri colorés et objets...pleaaaaase aidez moi
amalili 3 Messages postés lundi 5 avril 2010Date d'inscription 5 avril 2010 Dernière intervention - 5 avril 2010 à 01:45
j'aimerai si possible avoir de la documentation sur les réseaux de pétri ordinaires et récursifs. quelqu'un peut m'aider??c'est tres urgent
Marden 1073 Messages postés dimanche 11 février 2001Date d'inscription 29 janvier 2006 Dernière intervention - 25 oct. 2001 à 20:11
+1
Utile
1
Google /"réseau[x] de Petri" donne 1850 pages "francophones".
un gard 16 Messages postés jeudi 25 octobre 2001Date d'inscription 2 novembre 2001 Dernière intervention - 26 oct. 2001 à 09:25
merci, mais j'ai déjà essayé, et franchement pas très interressant... :-(
papillon2000 112 Messages postés samedi 13 décembre 2008Date d'inscription 12 janvier 2010 Dernière intervention - 12 juin 2009 à 17:46
+1
Utile
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.
mr_poussy 2741 Messages postés samedi 25 août 2001Date d'inscriptionContributeurStatut 27 février 2013 Dernière intervention - 26 oct. 2001 à 09:32
0
Utile
5
c quoi les reseaux de petrie ?

poussy
un gard 16 Messages postés jeudi 25 octobre 2001Date d'inscription 2 novembre 2001 Dernière intervention - 30 oct. 2001 à 09:18
c une façon de modéliser un system sous forme de graphe....en gros c ça.
mr_poussy 2741 Messages postés samedi 25 août 2001Date d'inscriptionContributeurStatut 27 février 2013 Dernière intervention > un gard 16 Messages postés jeudi 25 octobre 2001Date d'inscription 2 novembre 2001 Dernière intervention - 30 oct. 2001 à 11:50
'ci gard

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.
Qu'est ce qu'un réseau de petri pour la modélisation?
Qu'est ce q'un réseau de petri pour la modélisation? Donner moi des fichiers courte et intéressante.
0
Utile
2
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!
un gard 16 Messages postés jeudi 25 octobre 2001Date d'inscription 2 novembre 2001 Dernière intervention - 31 oct. 2001 à 15:37
j'te remerci.....
ilies_mazouna - 22 juin 2010 à 15:45
si vs l savez ,je cherche une these ou bien du documetations sur la gestion d'une banque en utilion le réseaux de pétri colorés merciiiii
0
Utile
je veux savoir une étude sur les RDP: historique,déf; domaine d'utilisation RDP coloré..etc
papillon2000 112 Messages postés samedi 13 décembre 2008Date d'inscription 12 janvier 2010 Dernière intervention - 23 déc. 2008 à 13:54
0
Utile
1
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 papillon2000.
As tu finallement eu tes documents pour la validation de ton modèle de réseaux de Petri?
N'hésites pas à me contacter.
papillon2000 112 Messages postés samedi 13 décembre 2008Date d'inscription 12 janvier 2010 Dernière intervention - 12 juin 2009 à 13:46
0
Utile
1
bonjour cam, oui sayé,j'ai utilisé un algorithme de marquage pour verifier mon modèle.
camerlis 1 Messages postés vendredi 12 juin 2009Date d'inscription 12 juin 2009 Dernière intervention - 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...
khelilo 458 Messages postés mercredi 31 janvier 2007Date d'inscription 16 mai 2016 Dernière intervention - 15 juin 2009 à 14:52
0
Utile
1
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.
Qu'est ce que tu veux exactement?
Un logiciel gratuit qui te permettra de simuler ton réseau de Petri? Pour celà, il te suffit de taper sur google logiciel gratuit de simultion réseaux de petri...
Par contre, si tu as besoin de développer ton propre simulateur, c'est autre chose...
khelilo 458 Messages postés mercredi 31 janvier 2007Date d'inscription 16 mai 2016 Dernière intervention - 18 juin 2009 à 16:20
0
Utile
1
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 458 Messages postés mercredi 31 janvier 2007Date d'inscription 16 mai 2016 Dernière intervention - 3 janv. 2010 à 16:36
0
Utile
merci
0
Utile
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