Keyphrases
- petri net
- closure properties
- expressive power
- discrete event systems
- tree automata
- petri net model
- context free grammars
- colored petri nets
- fuzzy petri net
- ims ld
- conjunctive queries
- stochastic petri net
- context free
- service composition
- first order logic
- expert systems
- incomplete information
- concurrent systems
- production system
- reinforcement learning