Attributes | Values |
---|
rdf:type
| |
Description
| - From seasonal planning via day-to-day train operation to real-time monitoring and control of trains, software applications are becoming increasingly integrated. Timetabling implies train traffic. Train staff rosters and train car maintenance are initially derived from timetables and influences future timetables. In this extended abstract we shall sketch a formal model of Railway Nets, Timetables, Rosters, Maintenance, Station Interlocking, Line Direction Agreement and Automatic Line Signaling. The last three formal models are based on four integrated formal techniques (RAISE, Petri Nets, Live Sequence Charts and State Charts). The formal sketches are all %22backed-up%22' by either a publication or a research report.
- From seasonal planning via day-to-day train operation to real-time monitoring and control of trains, software applications are becoming increasingly integrated. Timetabling implies train traffic. Train staff rosters and train car maintenance are initially derived from timetables and influences future timetables. In this extended abstract we shall sketch a formal model of Railway Nets, Timetables, Rosters, Maintenance, Station Interlocking, Line Direction Agreement and Automatic Line Signaling. The last three formal models are based on four integrated formal techniques (RAISE, Petri Nets, Live Sequence Charts and State Charts). The formal sketches are all %22backed-up%22' by either a publication or a research report. (en)
- Od strategické a taktického plánování železniční dopravy přes denní provoz k optimálnímu a bezpečnému řízení a zabezpečení železničního provozu se jednotlivé softwarové aplikace stávají více a více integrovanými. V tomto článku jsou naznačeny formální modely pro optimalizační i zabezpečovací aplikace železniční dopravy. (cs)
|
Title
| - Od plánování železniční dopravy k jejímu provozu (cs)
- From Railway Resource Planning to Train Operation
- From Railway Resource Planning to Train Operation (en)
|
skos:prefLabel
| - Od plánování železniční dopravy k jejímu provozu (cs)
- From Railway Resource Planning to Train Operation
- From Railway Resource Planning to Train Operation (en)
|
skos:notation
| - RIV/68407700:21260/04:06106206!RIV/2005/MSM/212605/N
|
http://linked.open.../vavai/riv/strany
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/68407700:21260/04:06106206
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - Control; Interlocking; Live Sequence Charts; Petri Nets; Planning; RAISE; Railways; Rostering; Signalling; State Charts; Timetabling (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Building the Information Society
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| - Pěnička, Martin
- Bjorner, Dines
|
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| - Kluwer Academic Publishers
|
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |