Authors: Ţiţchiev (Camerzan) Inga
Keywords: modeling, Petri nets, properties verification, quantitative analysis
Abstract
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.
Fulltext
–
0.16 Mb