IMI/Publicaţii/CSJM/Ediţii/CSJM v.24, n.2 (71), 2016/

Quantitative analysis of the evacuation system by means of Generalized Stochastic Petri nets

Authors: Ţiţchiev (Camerzan) Inga
Keywords: modeling, Petri nets, properties verification, quantitative analysis


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.

Institute of Mathematics and Computer Science
Academiei street, 5 nr.
Phone: 022-73-80-71

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License


Adobe PDF document0.16 Mb