logo BDSP

Base documentaire


Votre avis nous intéresse

Le réseau BDSP met en oeuvre un projet d'innovation et d'amélioration de ses services, dans le souci constant de proposer des contenus de qualité adaptés aux besoins des utilisateurs.

Identifier de nouvelles sources de financements est la condition nécessaire pour assurer la poursuite et la pérennité de cet outil unique qu'est la BDSP, tout en le faisant évoluer.

Pour définir un nouveau modèle économique, nous avons besoin de votre avis : merci de répondre à notre enquête (temps estimé : 5 minutes).

Participer maintenant
Participer plus tard J'ai déjà participé

  1. Generalizing results for any legal initial configuration of a railway network.

    Article - En anglais

    A coloured Petri net model of a railway network with one passing loop and two trains is analyzed to ascertain if desired safety and operational requirements are satisfied.

    These results are extended to any legal configuration revolving two trains.

    Mots-clés Pascal : Théorie, Réseau Pétri, Prévention accident, Régulation trafic ferroviaire, Chemin de fer électrique, Expérience

    Mots-clés Pascal anglais : Railway networks, Colored Petri nets (CPN), Theory, Petri nets, Accident prevention, Railroad traffic control, Electric railroads, Experiments

    Logo du centre Notice produite par :
    Inist-CNRS - Institut de l'Information Scientifique et Technique

    Cote : 97-0129011

    Code Inist : 001D15D. Création : 21/05/1997.