Matches in SemOpenAlex for { <https://semopenalex.org/work/W1571723858> ?p ?o ?g. }
- W1571723858 abstract "The real-time traffic control of railway networks authorizes movements of the trains and imposes safety constraints. The paper deals with the real time traffic control focusing on deadlock prevention problem. Colored Petri nets are used to model the dynamics of the railway network system: places represent tracks and stations, tokens are trains. The prevention policy is expressed by a set of linear inequality constraints, called colored Generalized Mutual Exclusion Constraints that are enforced by adding appropriate monitor places. Using digraph tools, deadlock situations are characterized and a strategy is established to define off-line a set of Generalized Mutual Exclusion Constraints that prevent deadlock. An example shows in detail the design of the proposed control logic." @default.
- W1571723858 created "2016-06-24" @default.
- W1571723858 creator A5005940530 @default.
- W1571723858 creator A5030895170 @default.
- W1571723858 creator A5071850448 @default.
- W1571723858 date "2004-04-23" @default.
- W1571723858 modified "2023-09-23" @default.
- W1571723858 title "A deadlock prevention method for railway networks using monitors for colored Petri nets" @default.
- W1571723858 cites W1578488921 @default.
- W1571723858 cites W2036492618 @default.
- W1571723858 cites W2065482951 @default.
- W1571723858 cites W2096478209 @default.
- W1571723858 cites W2108569958 @default.
- W1571723858 cites W2140872435 @default.
- W1571723858 cites W2154953129 @default.
- W1571723858 cites W2166115029 @default.
- W1571723858 cites W2799349239 @default.
- W1571723858 doi "https://doi.org/10.1109/icsmc.2003.1244683" @default.
- W1571723858 hasPublicationYear "2004" @default.
- W1571723858 type Work @default.
- W1571723858 sameAs 1571723858 @default.
- W1571723858 citedByCount "13" @default.
- W1571723858 countsByYear W15717238582014 @default.
- W1571723858 countsByYear W15717238582016 @default.
- W1571723858 countsByYear W15717238582019 @default.
- W1571723858 countsByYear W15717238582022 @default.
- W1571723858 crossrefType "proceedings-article" @default.
- W1571723858 hasAuthorship W1571723858A5005940530 @default.
- W1571723858 hasAuthorship W1571723858A5030895170 @default.
- W1571723858 hasAuthorship W1571723858A5071850448 @default.
- W1571723858 hasConcept C113429609 @default.
- W1571723858 hasConcept C114614502 @default.
- W1571723858 hasConcept C120314980 @default.
- W1571723858 hasConcept C136155141 @default.
- W1571723858 hasConcept C154945302 @default.
- W1571723858 hasConcept C159023740 @default.
- W1571723858 hasConcept C159985019 @default.
- W1571723858 hasConcept C177264268 @default.
- W1571723858 hasConcept C190839683 @default.
- W1571723858 hasConcept C192562407 @default.
- W1571723858 hasConcept C199360897 @default.
- W1571723858 hasConcept C205649164 @default.
- W1571723858 hasConcept C2775924081 @default.
- W1571723858 hasConcept C2777852691 @default.
- W1571723858 hasConcept C2778307483 @default.
- W1571723858 hasConcept C2779145032 @default.
- W1571723858 hasConcept C31258907 @default.
- W1571723858 hasConcept C33923547 @default.
- W1571723858 hasConcept C38652104 @default.
- W1571723858 hasConcept C38677869 @default.
- W1571723858 hasConcept C41008148 @default.
- W1571723858 hasConcept C56348326 @default.
- W1571723858 hasConcept C58640448 @default.
- W1571723858 hasConceptScore W1571723858C113429609 @default.
- W1571723858 hasConceptScore W1571723858C114614502 @default.
- W1571723858 hasConceptScore W1571723858C120314980 @default.
- W1571723858 hasConceptScore W1571723858C136155141 @default.
- W1571723858 hasConceptScore W1571723858C154945302 @default.
- W1571723858 hasConceptScore W1571723858C159023740 @default.
- W1571723858 hasConceptScore W1571723858C159985019 @default.
- W1571723858 hasConceptScore W1571723858C177264268 @default.
- W1571723858 hasConceptScore W1571723858C190839683 @default.
- W1571723858 hasConceptScore W1571723858C192562407 @default.
- W1571723858 hasConceptScore W1571723858C199360897 @default.
- W1571723858 hasConceptScore W1571723858C205649164 @default.
- W1571723858 hasConceptScore W1571723858C2775924081 @default.
- W1571723858 hasConceptScore W1571723858C2777852691 @default.
- W1571723858 hasConceptScore W1571723858C2778307483 @default.
- W1571723858 hasConceptScore W1571723858C2779145032 @default.
- W1571723858 hasConceptScore W1571723858C31258907 @default.
- W1571723858 hasConceptScore W1571723858C33923547 @default.
- W1571723858 hasConceptScore W1571723858C38652104 @default.
- W1571723858 hasConceptScore W1571723858C38677869 @default.
- W1571723858 hasConceptScore W1571723858C41008148 @default.
- W1571723858 hasConceptScore W1571723858C56348326 @default.
- W1571723858 hasConceptScore W1571723858C58640448 @default.
- W1571723858 hasLocation W15717238581 @default.
- W1571723858 hasOpenAccess W1571723858 @default.
- W1571723858 hasPrimaryLocation W15717238581 @default.
- W1571723858 hasRelatedWork W1579033876 @default.
- W1571723858 hasRelatedWork W1585578019 @default.
- W1571723858 hasRelatedWork W1586071091 @default.
- W1571723858 hasRelatedWork W1971884787 @default.
- W1571723858 hasRelatedWork W1977679836 @default.
- W1571723858 hasRelatedWork W1996109622 @default.
- W1571723858 hasRelatedWork W2003767105 @default.
- W1571723858 hasRelatedWork W201898940 @default.
- W1571723858 hasRelatedWork W2033992637 @default.
- W1571723858 hasRelatedWork W2049561250 @default.
- W1571723858 hasRelatedWork W2061795465 @default.
- W1571723858 hasRelatedWork W2081897040 @default.
- W1571723858 hasRelatedWork W2112425526 @default.
- W1571723858 hasRelatedWork W2133158797 @default.
- W1571723858 hasRelatedWork W2136881286 @default.
- W1571723858 hasRelatedWork W2139847442 @default.
- W1571723858 hasRelatedWork W2151407147 @default.
- W1571723858 hasRelatedWork W2152836029 @default.
- W1571723858 hasRelatedWork W2378704615 @default.
- W1571723858 hasRelatedWork W2557895918 @default.
- W1571723858 isParatext "false" @default.