State Equations in Stochastic Process Algebra Models

State Equations in Stochastic Process Algebra Models

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 s...

Full description

Bibliographic Details
Main Authors: Jie Ding, Xin-Shan Zhu, Xiao Chen
Format: Article
Language:English
Published: IEEE 2019-01-01
Series:IEEE Access
Subjects:
State equation
stochastic process algebra
fluid approximation
stochastic simulation
Online Access:https://ieeexplore.ieee.org/document/8657360/

Internet

https://ieeexplore.ieee.org/document/8657360/

Similar Items