Reduction of constraints for controller synthesis based on safe Petri Nets.
Abbas DidebanHassane AllaPublished in: Autom. (2008)
Keyphrases
- petri net
- controller synthesis
- petri net model
- colored petri nets
- discrete event systems
- manufacturing systems
- ims ld
- autonomic computing systems
- constraint programming
- fuzzy petri net
- stochastic petri net
- workflow process
- state machines
- hardware and software
- machine learning
- fuzzy sets
- concurrent processes
- knowledge representation
- decision making
- artificial intelligence
- neural network