Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis (Q5928917)

From MaRDI portal
Revision as of 17:43, 21 December 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 1587741
Language Label Description Also known as
English
Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis
scientific article; zbMATH DE number 1587741

    Statements

    Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    7 November 2001
    0 references
    In the last years, Fluid Stochastic Petri Nets (FSPN) were introduced in the literature. These nets have both discrete and continuous places. Often these models are better qualified for the description of large systems then classical Petri Nets with discrete places only. Here, the authors present an extension of FSPN. They introduce a so called flush-out arc which connects a fluid place to a timed transition with the effect of instantaneously emptying the fluid place when the transition is closed. This novel primitive makes it possible to use the formalism to applications in which the accumulation of a continuous quantity can be preempted and restarted. The dynamics of the underlying stochastic process of the new formalism is described by a set of integro-differential equations. The authors show a methodology to derive the needed equations from the model specifications. The applicability of the theory is illustrated by various examples.
    0 references
    stochastic reward models. Petri Nets
    0 references
    fluid stochastic Petri Nets
    0 references
    performance analysis
    0 references
    flush-out arc
    0 references
    fluid place
    0 references
    integro-differential equations
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references