Skip to topic | Skip to bottom
Home
Linfo
Linfo.ProblèmesRencontrésr1.2 - 27 Apr 2005 - 06:14 - NdeyeMarieTouretopic end

Start of topic | Skip to actions

Le problèmes des trains

Comme nous l'avons vu dans nos différentes rencontres, la modélisation du problème des trains implique non seulement la notion de ressources mais celle de temps.

Pour ajouter la notion de temps à la logique linéaire, il nous faut passer par les réseaux de Petri. (Cf: Cours ecrit par Robert Valette et Brigitte Pradin-Chezalviel pg8)

Reprenons leur exemple:)
Nous avons deux processus A et B qui sont en parallèle.
A et B donnent C
et C donne D et E

nous pouvons tres bien imaginer avoir:

le train1 avance à A
le train2 avance à B
C étant la section critique
nous aurions A et non B donnent C et E
C et E donnent D

et B et non A donnent C et F
C et F donnent D

Ce serait déjà une première intuition de raisonnement. Il nous suffirait ensuite d'ajouter les divers protocoles d'entrée et de sortie en rajoutant une boucle de D donnent A ou B et C donnent A ou B...
Mais nous ne sommes pas certaines de la justesse de notre raisonnement...

-- EspenelCeline - 26 Apr 2005

  • sts.ppt: Caractérisation temporelle de scénarios de réseaux de Petri en utilisant la Logique Linéaire de Brigitte PRADIN-CHEZALVIEL

to top

I Attachment sort Action Size Date Who Comment
sts.ppt manage 211.0 K 26 Apr 2005 - 08:45 EspenelCeline Caractérisation temporelle de scénarios de réseaux de Petri en utilisant la Logique Linéaire de Brigitte PRADIN-CHEZALVIEL

You are here: Linfo > JournauxDeBord > GestionDesRessources > ProblèmesRencontrés

to top

Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding WIKIDeptinfo? Send feedback