Login / Signup
Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net.
Chanon Dechsupa
Wiwat Vatanawood
Arthit Thongtak
Published in:
IEEE Access (2022)
Keyphrases
</>
stochastic process
petri net
stochastic petri net
markov chain
stochastic processes
stochastic model
business processes
business process
probability measures
model checking
probability distribution
diffusion process
data analysis
state space
least squares
autoregressive
search algorithm