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

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.

Keywords

• modeling
• Petri nets
• properties verification
• quantitative analysis