Verification of Coprognosability in Decentralized Fault Prognosis of Labeled Petri Nets.
Wenqing WuXiang YinShaoyuan LiPublished in: CDC (2018)
Keyphrases
- petri net
- petri net model
- fault diagnosis
- colored petri nets
- concurrent systems
- manufacturing systems
- discrete event systems
- expert systems
- distributed systems
- service composition
- neural network
- model checking
- stochastic petri net
- ims ld
- multi agent
- fuzzy petri net
- artificial intelligence
- production process
- sequence diagrams
- asynchronous circuits
- complex systems
- fuzzy logic