.png){kind=icon}
返回
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}
分享.png){kind=icon}
收藏
摘要
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.
Keyword:
State equation
stochastic process algebra
fluid approximation
stochastic simulation
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
分享收藏Exploring Auto-Generation of Network Models With Performance Evaluation Process Algebra.png)
IEEE ACCESSOAAI
IEEE ACCESSIF3.6
OAAI分享收藏分享收藏A hybrid approach to estimating electric vehicle energy consumption for ecodriving applications
PREAI
分享收藏
查看更多内容