From partially to fully lumped Markov chains in stochastic well formed Petri nets.
Souheib BaarirMarco BeccutiClaude DutheilletGiuliana FranceschinisPublished in: VALUETOOLS (2009)
Keyphrases
- petri net
- markov chain
- stochastic process
- markov processes
- monte carlo
- probabilistic automata
- steady state
- sample path
- markov process
- finite state
- transition probabilities
- petri net model
- monte carlo method
- stationary distribution
- finite automata
- discrete event systems
- markov model
- service composition
- colored petri nets
- ims ld
- random walk
- state space
- transition matrix
- fuzzy petri net
- stochastic petri net
- relative entropy
- state machines
- concurrent systems
- finite state automata