Dependability models based on Petri nets and Markov chains

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F09%3A00159192" target="_blank" >RIV/68407700:21230/09:00159192 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Dependability models based on Petri nets and Markov chains

Popis výsledku v původním jazyce

This paper shows a way to use stochastic Petri nets as formal availability models instead of Markov chains. Advantages of stochastic Petri nets over Markov models are illustrated on example models. The ability of stochastic Petri nets to represent the structure of modelled design and its use in further research is introduced.

Název v anglickém jazyce

Dependability models based on Petri nets and Markov chains

Popis výsledku anglicky

This paper shows a way to use stochastic Petri nets as formal availability models instead of Markov chains. Advantages of stochastic Petri nets over Markov models are illustrated on example models. The ability of stochastic Petri nets to represent the structure of modelled design and its use in further research is introduced.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Počítačové architektury a diagnostika 2009

ISBN

978-80-7318-847-4

ISSN

—

e-ISSN

—

Počet stran výsledku

9

Strana od-do

—

Název nakladatele

Universita Tomáše Bati ve Zlíně

Místo vydání

Zlín

Místo konání akce

Soláň

Datum konání akce

9. 9. 2009

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

—