Stationary analysis of FSPNs with mutually dependent discrete and continuous parts

Abstract

In this paper, we analyze the stationary behaviour of FSPNs with single fluid place and mutually dependent continuous and discrete part. The proposed analysis technique is restricted to the cases when the fluid rate does not change sign in a given marking. We provide the set of ordinary differential equations and boundary conditions that determines the stationary behaviour and we discuss potential numerical methods that evaluate the stationary distribution based on this description. The numerical analysis of FSPN models of telecommunication systems demonstrate the applicability of the introduced analysis methods.