Keyphrases
- petri net
- timed automata
- model checking
- reachability analysis
- theorem prover
- discrete event systems
- petri net model
- manufacturing systems
- theorem proving
- colored petri nets
- fuzzy petri net
- first order logic
- service composition
- real time systems
- ims ld
- state machines
- concurrent systems
- neural network
- programmable logic controller
- temporal logic
- learning activities
- knowledge acquisition
- fuzzy logic
- expert systems
- knowledge base
- artificial intelligence