• DocumentCode
    305448
  • Title

    State space analysis of a railway network

  • Author

    Billington, Jonathan ; Janczura, Chris

  • Author_Institution
    Univ. of South Australia, The Levels, SA, Australia
  • Volume
    3
  • fYear
    1996
  • fDate
    14-17 Oct 1996
  • Firstpage
    2386
  • Abstract
    A railway network consisting of a single track with a passing loop and a number of trains moving in the same direction is modelled by a coloured Petri net (CPN), and then analyzed using the software tools Design/CPNTM and Occurrence Graph Analyzer OGATM. Certain safety and operational properties are formulated and then formally proved by interrogating the complete state space of the system. The notion of strongly connected components is used in some proofs. Analysis of the model revealed some undesirable behaviour including a deadlock
  • Keywords
    Petri nets; graph colouring; rail traffic; railways; software packages; software tools; state-space methods; traffic control; Design/CPN; Occurrence Graph Analyzer; coloured Petri net; deadlock; operational properties; railway network; safety; state space analysis; Fault tolerance; Petri nets; Rail transportation; Railway safety; Software design; Software tools; State-space methods; Switches; System recovery; Tracking loops;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, Man, and Cybernetics, 1996., IEEE International Conference on
  • Conference_Location
    Beijing
  • ISSN
    1062-922X
  • Print_ISBN
    0-7803-3280-6
  • Type

    conf

  • DOI
    10.1109/ICSMC.1996.565549
  • Filename
    565549
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=305448