On detectability of labeled Petri nets and finite automata.
Kuize ZhangAlessandro GiuaPublished in: Discret. Event Dyn. Syst. (2020)
Keyphrases
- petri net
- finite automata
- deterministic automata
- petri net model
- discrete event systems
- grammatical inference
- regular expressions
- colored petri nets
- fuzzy petri net
- state machines
- tree automata
- stochastic petri net
- finite automaton
- service composition
- ims ld
- concurrent systems
- pattern matching
- concurrent processes
- hidden markov models
- machine learning
- database