Fluid stochastic Petri nets augmented with flush-out arcs a transient analysis technique.
Fluid stochastic (or hybrid) Petri nets with flush-out arcs are Petri net-based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), and fluid places that hold a positive amount of fluid, represented by a real number. For this kind of formalism...
| Foilsithe in: | IEEE Transactions on software engineering 28, 10 (2002). |
|---|---|
| Príomhchruthaitheoir: | |
| Formáid: | Alt |
| Teanga: | English |
| Ábhair: |