.png){kind=icon}
.png){kind=icon}
Return
State Equations in Stochastic Process Algebra Models
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2019.2902472.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
State equations are usually used for structural or qualitative analysis, such as deadlock checking, in P/T systems. In this paper, we instead consider timed state equations in stochastic process algebra models, to derive quantified dynamic information on the system modeled in the face of the state space explosion problem. The average of these state equations is demonstrated as the linear combination of the system transitions, with the combination coefficients specified by the bias term of the empirical transition rates to their steady state. The approaches of stochastic simulation and fluid approximation, straightforwardly generated from the quantified state equations, are studied, with the consistency being investigated both theoretically and experimentally.
Keywords:
State equation
stochastic process algebra
fluid approximation
stochastic simulation
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
3.6
Papers:
9.8W
Citations:
29.4W
View more organizations