Modular state space exploration for timed petri nets.
Charles LakosLaure PetrucciPublished in: Int. J. Softw. Tools Technol. Transf. (2007)
Keyphrases
- state space
- timed petri nets
- dynamical systems
- discrete event systems
- dynamic programming
- state variables
- heuristic search
- reinforcement learning
- markov chain
- discrete event
- particle filter
- optimal policy
- mathematical modeling
- petri net
- neural network
- markov decision processes
- differential equations
- multistage
- dynamic systems
- initial state
- machine learning