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