Keyphrases
- petri net
- mutual exclusion
- deadlock detection
- reachability analysis
- manufacturing systems
- long distance
- distributed database systems
- model checking
- markov decision processes
- timed automata
- distributed systems
- incremental algorithms
- petri net model
- state space
- service composition
- stochastic petri net
- planning domains
- web service composition
- communication protocol
- temporal logic
- computer networks
- colored petri nets
- process model
- database systems
- machine learning
- distributed databases
- dynamic programming
- fuzzy petri net
- learning algorithm