|
This article is cited in 1 scientific paper (total in 1 paper)
Discrete mathematics and mathematical cybernetics
Equivalences for fluid stochastic Petri nets
I. V. Tarasyuka, P. Buchholzb a A.P. Ershov Institute of Informatics Systems, Siberian Branch of the Russian Academy of Sciences, Acad. Lavrentiev pr. 6,
630090 Novosibirsk, Russian Federation
b Faculty of Computer Science, Technical University of Dortmund,
Otto-Hahn-Str. 16, 44227 Dortmund, Germany
Abstract:
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 respect the essential features of the LFSPNs behaviour, such as functional activity, stochastic timing and fluid flow. We consider the LFSPNs whose continuous markings have no influence to the discrete ones, i.e. every discrete marking determines completely both the set of enabled transitions, their firing rates and the fluid flow rates of the incoming and outgoing arcs for each continuous place. We also require that the discrete part of the LFSPNs should be 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 following aggregated (by such a bisimulation) 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. Fluid bisimulation equivalence is then used to simplify the qualitative and quantitative analysis of LFSPNs that is accomplished by means of quotienting (by the equivalence) the discrete reachability graph and underlying CTMC. The application example of a document preparation system demonstrates the behavioural analysis via quotienting by fluid bisimulation equivalence.
Keywords:
labeled fluid stochastic Petri net, continuous time stochastic Petri net, continuous time Markov chain, stochastic fluid model, transient and stationary behaviour, buffer empty probability, fluid density and distribution, performance analysis, Markovian trace and bisimulation equivalences, fluid trace and bisimulation equivalences, quotient, application.
Received December 7, 2016, published April 4, 2017
Citation:
I. V. Tarasyuk, P. Buchholz, “Equivalences for fluid stochastic Petri nets”, Sib. Èlektron. Mat. Izv., 14 (2017), 317–366
Linking options:
https://www.mathnet.ru/eng/semr788 https://www.mathnet.ru/eng/semr/v14/p317
|
Statistics & downloads: |
Abstract page: | 213 | Full-text PDF : | 59 | References: | 39 |
|