A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS.
Murat UzamZhiwu LiUmar Suleiman AbubakarPublished in: ADECS @ Petri Nets (2014)
Keyphrases
- petri net
- special case
- petri net model
- data sets
- real time
- closely related
- search algorithm
- database
- information systems
- decision making
- decision trees
- database systems
- multiscale
- artificial intelligence
- evolutionary algorithm
- machine learning
- dynamic programming
- scheduling problem
- real world
- databases
- markov decision processes