Articolul precedent |
Articolul urmator |
647 1 |
Ultima descărcare din IBN: 2020-07-26 19:42 |
SM ISO690:2012 TITCHIEV, Inga. Performance evaluation of the evacuation system by Generalized Stochastic Petri nets. In: Conference on Mathematical Foundations of Informatics, Ed. 2016, 25-30 iulie 2016, Chișinău. Chișinău, Republica Moldova: "VALINEX" SRL, 2016, pp. 333-338. ISBN 978‐9975‐4237‐4‐8. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Conference on Mathematical Foundations of Informatics 2016 | |||||
Conferința "Conference on Mathematical Foundations of Informatics" 2016, Chișinău, Moldova, 25-30 iulie 2016 | |||||
|
|||||
Pag. 333-338 | |||||
|
|||||
Descarcă PDF | |||||
Rezumat | |||||
The aim of this article is to perform a quantitative analysis of the evacuation system by using Generalized Stochastic Petri nets and capturing all the properties and characteristics related to its dynamics. |
|||||
Cuvinte-cheie modeling, Petri nets, quantitative analysis, properties verification |
|||||
|