Quantitative analysis of the evacuation system by means of Generalized Stochastic Petri nets
Închide
Conţinutul numărului revistei
Articolul precedent
Articolul urmator
581 2
Ultima descărcare din IBN:
2017-04-26 07:12
Căutarea după subiecte
similare conform CZU
004.942:519.7 (1)
Informatică aplicată. Tehnici bazate pe calculator cu aplicații practice (359)
Cibernetică matematică (85)
SM ISO690:2012
TITCHIEV, Inga. Quantitative analysis of the evacuation system by means of Generalized Stochastic Petri nets. In: Computer Science Journal of Moldova. 2016, nr. 2(71), pp. 184-191. ISSN 1561-4042.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Computer Science Journal of Moldova
Numărul 2(71) / 2016 / ISSN 1561-4042

Quantitative analysis of the evacuation system by means of Generalized Stochastic Petri nets
CZU: 004.942:519.7

Pag. 184-191

Titchiev Inga
 
Institute of Mathematics and Computer Science ASM
 
Proiect:
INTAS 2004-78-7193 Imaging GaAs X-ray Detectors
 
Disponibil în IBN: 1 septembrie 2016


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

Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc='http://purl.org/dc/elements/1.1/' xmlns:oai_dc='http://www.openarchives.org/OAI/2.0/oai_dc/' xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance' xsi:schemaLocation='http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd'>
<dc:creator>Ţiţchiev (Camerzan), I.I.</dc:creator>
<dc:date>2016-08-25</dc:date>
<dc:description xml:lang='en'>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. </dc:description>
<dc:source>Computer Science Journal of Moldova 71 (2) 184-191</dc:source>
<dc:subject>modeling</dc:subject>
<dc:subject>Petri nets</dc:subject>
<dc:subject>properties verification</dc:subject>
<dc:subject>quantitative analysis</dc:subject>
<dc:title>Quantitative analysis of the evacuation system by means of Generalized Stochastic Petri nets</dc:title>
<dc:type>info:eu-repo/semantics/article</dc:type>
</oai_dc:dc>