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
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, 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