Optimal-Cost Reachability Analysis Based on Time Petri Nets.
Hanifa BouchenebDidier LimeOlivier H. RouxCharlotte SeidnerPublished in: ACSD (2018)
Keyphrases
- petri net
- reachability analysis
- optimal cost
- lower bound
- model checking
- markov decision processes
- expected cost
- upper bound
- total cost
- petri net model
- timed automata
- incremental algorithms
- discrete event systems
- state space
- colored petri nets
- ims ld
- piecewise linear
- fuzzy petri net
- long run
- service composition
- optimal solution
- dynamic programming
- reinforcement learning
- concurrent processes