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/

id	doaj-128a4a23fb2f46ccb36be485478c1889
record_format	Article
spelling	doaj-128a4a23fb2f46ccb36be485478c18892021-03-29T22:54:20ZengIEEEIEEE Access2169-35362019-01-017611956120310.1109/ACCESS.2019.29024728657360State Equations in Stochastic Process Algebra ModelsJie Ding0Xin-Shan Zhu1https://orcid.org/0000-0003-2060-9932Xiao Chen2China Institute of FTZ Supply Chain, Shanghai Maritime University, Shanghai, ChinaSchool of Electrical and Information Engineering, Tianjin University, Tianjin, ChinaState Key Laboratory of Software Development Environment, Beihang University, Beijing, ChinaState 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.https://ieeexplore.ieee.org/document/8657360/State equationstochastic process algebrafluid approximationstochastic simulation
collection	DOAJ
language	English
format	Article
sources	DOAJ
author	Jie Ding Xin-Shan Zhu Xiao Chen
spellingShingle	Jie Ding Xin-Shan Zhu Xiao Chen State Equations in Stochastic Process Algebra Models IEEE Access State equation stochastic process algebra fluid approximation stochastic simulation
author_facet	Jie Ding Xin-Shan Zhu Xiao Chen
author_sort	Jie Ding
title	State Equations in Stochastic Process Algebra Models
title_short	State Equations in Stochastic Process Algebra Models
title_full	State Equations in Stochastic Process Algebra Models
title_fullStr	State Equations in Stochastic Process Algebra Models
title_full_unstemmed	State Equations in Stochastic Process Algebra Models
title_sort	state equations in stochastic process algebra models
publisher	IEEE
series	IEEE Access
issn	2169-3536
publishDate	2019-01-01
description	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.
topic	State equation stochastic process algebra fluid approximation stochastic simulation
url	https://ieeexplore.ieee.org/document/8657360/
work_keys_str_mv	AT jieding stateequationsinstochasticprocessalgebramodels AT xinshanzhu stateequationsinstochasticprocessalgebramodels AT xiaochen stateequationsinstochasticprocessalgebramodels
_version_	1724190515196329984

State Equations in Stochastic Process Algebra Models

Similar Items