Reliability analysis of CSP specifications using Petri nets and Markov processes.
Krishna M. KaviFrederick T. SheldonBehrooz A. ShiraziAli R. HursonPublished in: HICSS (2) (1995)
Keyphrases
- petri net
- markov processes
- reliability analysis
- concurrent systems
- reactive systems
- state machines
- constraint satisfaction problems
- markov chain
- markov process
- petri net model
- stochastic processes
- discrete event systems
- fuzzy petri net
- non stationary
- random fields
- service composition
- condition monitoring
- colored petri nets
- constraint programming
- ims ld
- formal specification
- stationary distribution
- power plant
- stochastic process
- fuzzy sets
- graphical models
- state space
- concurrent processes
- search space