Attributes | Values |
---|
rdf:type
| |
Description
| - In this paper is on real example presented Petri Nets formalism as formalism for description transport processes. Network graphs formalism is in some case too scant, e. g. description synchronisation of more parallel processes. Petri Nets has defined methods of formal analysis, which among others allows model verification. Therefore we tried to use Petri Nets formalism for description, modelling and simulation of transport processes. (en)
- V příspěvku je na praktickém příkladě předveden formalismus Petriho sítí, jako formalismus pro popis dopravních procesů. Formalismus síťových grafů je v některých konkrétních případech nedostačující, jako např. popis synchronizace více současně běžících procesů. Petriho sítě též disponují metodami formální analýzy, jež umožňují mimo jiné též verifikaci modelu daného procesu. Proto byla snaha ověřit možnost nasazení Petriho sítí také pro popis, modelování a simulaci dopravních procesů.
- V příspěvku je na praktickém příkladě předveden formalismus Petriho sítí, jako formalismus pro popis dopravních procesů. Formalismus síťových grafů je v některých konkrétních případech nedostačující, jako např. popis synchronizace více současně běžících procesů. Petriho sítě též disponují metodami formální analýzy, jež umožňují mimo jiné též verifikaci modelu daného procesu. Proto byla snaha ověřit možnost nasazení Petriho sítí také pro popis, modelování a simulaci dopravních procesů. (cs)
|
Title
| - Formalizace komplexních procesů v rámci železniční stanice pomocí Petriho sítí
- Formalizace komplexních procesů v rámci železniční stanice pomocí Petriho sítí (cs)
- Formalization of complex railways station's processes by Petri Nets (en)
|
skos:prefLabel
| - Formalizace komplexních procesů v rámci železniční stanice pomocí Petriho sítí
- Formalizace komplexních procesů v rámci železniční stanice pomocí Petriho sítí (cs)
- Formalization of complex railways station's processes by Petri Nets (en)
|
skos:notation
| - RIV/00216275:25510/07:00005034!RIV08-MSM-25510___
|
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/00216275:25510/07:00005034
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - railway transport; transport process; coloured Petri Nets (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - Žel 2007 : Zborník prednášok, 3. diel
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...n/vavai/riv/zamer
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| - Žilinská univerzita v Žiline
|
https://schema.org/isbn
| |
http://localhost/t...ganizacniJednotka
| |