3 research outputs found
Stationary analysis of FSPNs with mutually dependent discrete and continuous parts
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