logo BDSP

Base documentaire

  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.