More Efficient On-the-Fly Verification Methods of Colored Petri Nets.
Cong HeZhijun DingPublished in: Comput. Informatics (2021)
Keyphrases
- preprocessing
- computational cost
- benchmark datasets
- computationally expensive
- genetic algorithm
- artificial intelligence
- computer vision
- feature selection
- reinforcement learning
- data structure
- data streams
- artificial neural networks
- evolutionary algorithm
- machine learning methods
- complexity analysis
- verification method