A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems.
Zuohua DingYuan ZhouMingyue JiangMengChu ZhouPublished in: IEEE Trans. Syst. Man Cybern. Syst. (2015)
Keyphrases
- petri net
- colored petri nets
- stochastic systems
- petri net model
- stochastic petri net
- stochastic models
- concurrent systems
- discrete event systems
- manufacturing systems
- sequence diagrams
- service composition
- fuzzy petri net
- confidence intervals
- class labels
- stochastic model
- model checking
- programmable logic controller