Diagnosability of Petri nets with observation graphs.
Dimitri LefebvreEdouard LeclercqPublished in: Discret. Event Dyn. Syst. (2016)
Keyphrases
- petri net
- discrete event systems
- petri net model
- colored petri nets
- high level petri nets
- manufacturing systems
- fuzzy petri net
- service composition
- discrete event
- telecommunication networks
- stochastic petri net
- state machines
- model based diagnosis
- process model
- cellular automata
- discrete dynamical systems
- programmable logic controller
- low cost
- artificial intelligence
- knowledge based systems