  We propose fluid equivalences to compare and reduce behaviour of labeled
fluid stochastic Petri nets (LFSPNs) while preserving their discrete and
continuous properties. We define a linear-time relation of fluid trace
equivalence and its branching-time counterpart, fluid bisimulation equivalence.
Both fluid relations take into account the essential features of the LFSPNs
behaviour: functional activity, stochastic timing and fluid flow. We consider
the LFSPNs whose continuous markings have no influence to the discrete ones and
whose discrete part is continuous time stochastic Petri nets. The underlying
stochastic model for the discrete part of the LFSPNs is continuous time Markov
chains (CTMCs). The performance analysis of the continuous part of LFSPNs is
accomplished via the associated stochastic fluid models (SFMs). We show that
fluid trace equivalence preserves average potential fluid change volume for the
transition sequences of every certain length. We prove that fluid bisimulation
equivalence preserves the aggregated probability functions: stationary
probability mass for the underlying CTMC, as well as stationary fluid buffer
empty probability, fluid density and distribution for the associated SFM.
Hence, the equivalence guarantees identity of a number of discrete and
continuous performance measures. Fluid bisimulation equivalence is then used to
simplify the qualitative and quantitative analysis of LFSPNs via quotienting
the discrete reachability graph and underlying CTMC. To describe the quotient
associated SFM, the quotients of the probability functions are defined. We
characterize logically fluid trace and bisimulation equivalences with two novel
fluid modal logics $HML_{flt}$ and $HML_{flb}$, based on the Hennessy-Milner
Logic HML. The application example of a document preparation system
demonstrates the behavioural analysis via quotienting by fluid bisimulation
equivalence.
